Travelled to:1 × Italy
1 × USA
Collaborated with:K.Ku M.Chechik D.Lie A.Gurfinkel
Talks about:templat (2) softwar (2) proof (2) model (2) counterexampl (1) benchmark (1) overflow (1) abstract (1) checker (1) augment (1)
Person: Thomas E. Hart
DBLP: Hart:Thomas_E=
Contributed to:
20082007Wrote 3 papers:
- ASE-2008-HartKGCL #abstraction #proving #refinement
- Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
- ASE-2008-HartKGCL08a #model checking #named #proving
- PtYasm: Software Model Checking with Proof Templates (TEH, KK, AG, MC, DL), pp. 479–480.
- ASE-2007-KuHCL #benchmark #metric #model checking
- A buffer overflow benchmark for software model checkers (KK, TEH, MC, DL), pp. 389–392.