BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lerda:Flavio

Contributed to:

POPL 20052005
CAV 20042004
TACAS 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.