Verification: Theory and Practice

DOI10.1007/B12001MaRDI QIDQ5305649zbMATH OpenOpenAlexFDO

Authors Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido, Thomas A. Henzinger

Publication date 23 March 2010

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

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

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

• scientific article; zbMATH DE number 910719
• Model checking
• scientific article; zbMATH DE number 2081102
• Explicit-state model checking
• scientific article; zbMATH DE number 2080188
• Model checking and equivalence checking

Cited in

(7)

• On the preservation of properties when changing communication models
• Loop invariants: analysis, classification, and examples
• eVolCheck: incremental upgrade checker for C
• Reusing predicate precision in value analysis
• Integrating topological proofs with model checking to instrument iterative design
• On-the-Fly Techniques for Game-Based Software Model Checking
• TOrPEDO : witnessing model correctness with topological proofs

Describes a project that uses

Uses Software

• BLAST

This page was built for publication: Verification: Theory and Practice

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