Bug Hunting with False Negatives

DOI10.1007/978-3-540-73210-5_6zbMATH Open1213.68367OpenAlexW2108513529MaRDI QIDQ3608882FDOQ3608882

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)

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)