scientific article; zbMATH DE number 1500565

zbMATH Open0959.68078MaRDI QIDQ4501586FDOQ4501586

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

Publication date: 4 September 2000

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Verification of Open Systems
• Model checking open systems with alternating projection temporal logic

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)