scientific article; zbMATH DE number 1759597

MaRDI QIDQ4536588zbMATH OpenFDO

Authors Natarajan Shankar

Publication date 28 November 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1538014
• scientific article; zbMATH DE number 1670517
• Programming a symbolic model checker in a fully expansive theorem prover
• Combining Model Checking and Deduction
• Explicit-symbolic modelling for formal verification

Cited in

(11)

• Verifying Reference Counting Implementations
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1538014 (Why is no real title available?)
• Providing a formal linkage between MDG and HOL
• Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
• Tool support for learning Büchi automata and linear temporal logic
• First order Büchi automata and their application to verification of LTL specifications
• Combining Model Checking and Deduction
• Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
• Explicit-symbolic modelling for formal verification
• scientific article; zbMATH DE number 1670517 (Why is no real title available?)

Describes a project that uses

Uses Software

• Cadence SMV
• HOL
• 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 Q4536588)