scientific article; zbMATH DE number 1538014

MaRDI QIDQ4518869zbMATH OpenFDO

Authors T. E. Uribe

Publication date 3 December 2000

zbMATH Keywords

formal verification of reactive systemsmodel checkingtheorem proving

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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
• scientific article; zbMATH DE number 1088222
• 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?)
• scientific article; zbMATH DE number 1088222 (Why is no real title available?)
• scientific article; zbMATH DE number 2079999 (Why is no real title available?)
• scientific article; zbMATH DE number 1487743 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• CESAR

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 Q4518869)