Combinations of model checking and theorem proving
From MaRDI portal
Recommendations
- Combining Model Checking and Deduction
- scientific article; zbMATH DE number 1759597
- A proof theory for model checking
- A proof theory for model checking: an extended abstract
- scientific article; zbMATH DE number 3880145
- Machine-assisted verification using theorem proving and model checking
- Model Checking: From Tools to Theory
Cited in
(16)- Formal verification of a partial-order reduction technique for model checking
- A proof theory for model checking
- Verification of AMBA using a combination of model checking and theorem proving
- Automated formal analysis and verification: an overview
- Combining Model Checking and Deduction
- Programming a symbolic model checker in a fully expansive theorem prover
- scientific article; zbMATH DE number 1264491 (Why is no real title available?)
- Machine-assisted verification using theorem proving and model checking
- scientific article; zbMATH DE number 2079999 (Why is no real title available?)
- Deductive reasoning versus model checking: Two formal approaches for system development
- scientific article; zbMATH DE number 1759597 (Why is no real title available?)
- Towards a combination of CafeOBJ and PAT
- Relational and Kleene-Algebraic Methods in Computer Science
- Combining termination proofs in model transformation systems
- Practical abstractions for automated verification of message passing concurrency
- Providing a formal linkage between MDG and HOL
This page was built for publication: Combinations of model checking and theorem proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518869)
