scientific article; zbMATH DE number 1746449

zbMATH Open0985.68653MaRDI QIDQ4532080FDOQ4532080

Authors: Alessandro Cimatti 

Publication date: 28 May 2002

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Role of formal methods in the automobile industry
• Industrial application of formal models generated from domain specific languages
• Transfer of model checking to industrial practice
• An invariant-based approach to the verification of asynchronous parameterized networks
• Title not available (Why is that?)
• Communicating Sequential Processes. The First 25 Years
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• Title not available (Why is that?)
• Model-checking precision agriculture logistics: the case of the differential harvest
• FM 2005: Formal Methods
• Robust synthesis for real-time systems
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

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)