New Challenges in Model Checking

DOI10.1007/978-3-540-69850-0_4MaRDI QIDQ3512433zbMATH OpenOpenAlexFDO

Authors Alex Groce, Gerard J. Holzmann, Rajeev Joshi

Publication date 15 July 2008

Published in 25 Years of Model Checking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69850-0_4

zbMATH Keywords

software verificationsoftware reliabilitylogic model checkingfuture perspectivesflash file system challengegrand challenge projectsoftware structure

Mathematics Subject Classification ID

History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080188
• Model Checking: From Tools to Theory
• scientific article; zbMATH DE number 2081102

Cites work

• scientific article; zbMATH DE number 1744961 (Why is no real title available?)
• A mini challenge: build a verifiable filesystem
• Automatic verification of finite-state concurrent systems using temporal logic specifications

Cited in

(1)

• Model checking meets auto-tuning of high-performance programs

This page was built for publication: New Challenges in Model Checking

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