scientific article; zbMATH DE number 1088222

MaRDI QIDQ4364538zbMATH OpenFDO

Authors Natarajan Shankar

Publication date 17 November 1997

zbMATH Keywords

mechanical verificationmodel checking

Mathematics Subject Classification ID

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

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

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