scientific article; zbMATH DE number 1500565

MaRDI QIDQ4501586zbMATH OpenFDO

Authors Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka

Publication date 4 September 2000

zbMATH Keywords

model-checking problem\(\text{OR}_{\text{E}}X\)

Mathematics Subject Classification ID

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

Recommendations

• Systematic Acceleration in Regular Model Checking
• Model checking open systems with alternating projection temporal logic
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1884410
• Model checking failure-prone open systems using probabilistic automata
• A framework for specifying and verifying the behaviour of open systems
• Verification of Open Systems
• Exact acceleration of real-time model checking

Cited in

(3)

• Model checking open systems with alternating projection temporal logic
• scientific article; zbMATH DE number 2090156 (Why is no real title available?)
• Verification of Open 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 Q4501586)