Travelled to:1 × Spain
2 × USA
Collaborated with:D.Kröning A.Groce E.M.Clarke O.Grumberg O.Strichman M.Theobald
Talks about:underapproxim (1) counterexampl (1) understand (1) program (1) process (1) explain (1) system (1) widen (1) proof (1) multi (1)
Person: Flavio Lerda
DBLP: Lerda:Flavio
Contributed to:
2005
2004
2004Wrote 3 papers:
- POPL-2005-GrumbergLST #approximate #multi
- Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.
- CAV-2004-GroceKL #comprehension
- Understanding Counterexamples with explain (AG, DK, FL), pp. 453–456.
- TACAS-2004-ClarkeKL #source code
- A Tool for Checking ANSI-C Programs (EMC, DK, FL), pp. 168–176.