Machine-assisted verification using theorem proving and model checking
From MaRDI portal
Recommendations
- A proof theory for model checking
- scientific article; zbMATH DE number 1538014
- The automatic verification using symbolic model-checking
- scientific article; zbMATH DE number 3880145
- A proof theory for model checking: an extended abstract
- Model Checking: From Tools to Theory
- Verification of AMBA using a combination of model checking and theorem proving
- scientific article; zbMATH DE number 1507201
Cited in
(15)- Formal verification of a partial-order reduction technique for model checking
- Testing-based formal verification for theorems and its application in software specification verification
- Verification of AMBA using a combination of model checking and theorem proving
- Programming a symbolic model checker in a fully expansive theorem prover
- A Machine Checked Soundness Proof for an Intermediate Verification Language
- Machine Checking Proof Theory: An Application of Logic to Logic
- scientific article; zbMATH DE number 139822 (Why is no real title available?)
- scientific article; zbMATH DE number 1507199 (Why is no real title available?)
- scientific article; zbMATH DE number 1538014 (Why is no real title available?)
- scientific article; zbMATH DE number 1746646 (Why is no real title available?)
- Automated Technology for Verification and Analysis
- Formal verification of n-bit ALU using theorem proving
- Lazy compositional verication
- A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures
- A mechanical analysis of program verification strategies
This page was built for publication: Machine-assisted verification using theorem proving and model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364538)
