Model Checking Software

DOI10.1007/B96721MaRDI QIDQ5308367zbMATH OpenOpenAlexFDO

Authors Gerard J. Holzmann, Rajeev Joshi

Publication date 28 September 2007

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Software model checking
• scientific article; zbMATH DE number 2080188
• Extending Model Checking with Dynamic Analysis
• Model checking: from hardware to software.
• scientific article; zbMATH DE number 2087639

Cited in

(13)

• Software model checking
• scientific article; zbMATH DE number 1633145 (Why is no real title available?)
• Synergistic verification and validation of systems and software engineering models
• The role of abstraction in model checking
• scientific article; zbMATH DE number 1670556 (Why is no real title available?)
• Modeling for Verification
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Extending Model Checking with Dynamic Analysis
• scientific article; zbMATH DE number 1953017 (Why is no real title available?)
• scientific article; zbMATH DE number 1693453 (Why is no real title available?)
• scientific article; zbMATH DE number 5994839 (Why is no real title available?)
• scientific article; zbMATH DE number 2087639 (Why is no real title available?)
• Abstracting models from execution traces for performing formal verification

This page was built for publication: Model Checking Software

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