Model Checking Software

DOI10.1007/B96721zbMATH Open1125.68366OpenAlexW54779658MaRDI QIDQ5308367FDOQ5308367

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

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)