scientific article; zbMATH DE number 1500565

zbMATH Open0959.68078MaRDI QIDQ4501586FDOQ4501586

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

Publication date: 4 September 2000

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

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Exact acceleration of real-time model checking 👍 👎
• Formal Techniques for Networked and Distributed Systems - FORTE 2005 👍 👎
• Model Checking Failure-Prone Open Systems Using Probabilistic Automata 👍 👎
• A framework for specifying and verifying the behaviour of open systems 👍 👎
• Model checking open systems with alternating projection temporal logic 👍 👎
• Verification of Open Systems 👍 👎
• Systematic Acceleration in Regular Model Checking 👍 👎

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)