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

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

Mathematics Subject Classification ID

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

Cited In (13)

• Software model checking
• Title not available (Why is that?)
• Synergistic verification and validation of systems and software engineering models
• The role of abstraction in model checking
• Title not available (Why is that?)
• Modeling for Verification
• Extending Model Checking with Dynamic Analysis
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)