Bug Hunting with False Negatives

DOI10.1007/978-3-540-73210-5_6MaRDI QIDQ3608882zbMATH OpenOpenAlexFDO

Authors Jens Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Publication date 6 March 2009

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

Full work available at URL https://ir.cwi.nl/pub/10855

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 1701765
• scientific article; zbMATH DE number 1903343
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• Computer Aided Verification

This page was built for publication: Bug Hunting with False Negatives

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