Detecting errors before reaching them

DOI10.1007/10722167_17MaRDI QIDQ2754083zbMATH OpenFDO

Authors Luca De Alfaro, Freddy Y. C. Mang, Thomas A. Henzinger

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722167_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2080188
• Error detection with directed symbolic model checking
• What went wrong: Explaining counterexamples
• scientific article; zbMATH DE number 2102704
• scientific article; zbMATH DE number 910719

Cited in

(4)

• Compositional verification and 3-valued abstractions join forces
• Graph Games and Reactive Synthesis
• A survey of stochastic -regular games
• Doomed program points

This page was built for publication: Detecting errors before reaching them

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754083)