Travelled to:1 × Greece
1 × Italy
Collaborated with:T.C.Murray J.Andronick D.R.Jeffery G.Klein M.Staples
Talks about:specif (2) softwar (1) automat (1) toward (1) formal (1) extens (1) verif (1) studi (1) proof (1) indic (1)
Person: Daniel Matichuk
DBLP: Matichuk:Daniel
Contributed to:
2015
2012Wrote 2 papers:
- ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
- Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
- SEFM-2012-MatichukM #automation #proving #specification #using
- Extensible Specifications for Automatic Re-use of Specifications and Proofs (DM, TCM), pp. 333–341.