scientific article; zbMATH DE number 1746449

MaRDI QIDQ4532080zbMATH OpenFDO

Authors Alessandro Cimatti

Publication date 28 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2067/20670153

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• FM 2005: Formal Methods
• Model checking at IBM
• Model Checking Security Protocols
• scientific article; zbMATH DE number 1903363
• Model-Checking Large Finite-State Systems and Beyond

Cited in

(14)

• Which fragments of the interval temporal logic HS are tractable in model checking?
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
• Industrial application of formal models generated from domain specific languages
• Model-checking precision agriculture logistics: the case of the differential harvest
• scientific article; zbMATH DE number 1693445 (Why is no real title available?)
• Transfer of model checking to industrial practice
• Role of formal methods in the automobile industry
• Robust synthesis for real-time systems
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• scientific article; zbMATH DE number 2112452 (Why is no real title available?)
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
• Communicating Sequential Processes. The First 25 Years
• FM 2005: Formal Methods
• An invariant-based approach to the verification of asynchronous parameterized networks

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