CMC - MaRDI portal

swMATH12422MaRDI QIDQ24351FDOQ24351

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-0-387-35394-4_27

Cited In (34)

A survey of timed automata for the development of real-time systems
Natural projection as partial model checking
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Timed modal logics for real-time systems. Specification, verification and control
The Power of Proofs: New Algorithms for Timed Automata Model Checking
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
Timed Control with Observation Based and Stuttering Invariant Strategies
TCTL inevitability analysis of dense-time systems
Automatic Abstraction Refinement for Timed Automata
Symbolic and compositional reachability for timed automata
Formal Modeling and Analysis of Timed Systems
Updatable timed automata
Is your model checker on time? On the complexity of model checking for timed modal logics
Verification of Timed-Arc Petri Nets
Partial model checking using networks of labelled transition systems and Boolean equation systems
TAPAAL
Title not available (Why is that?)
Uppaal
CAESAR_SOLVE
The power of reachability testing for timed automata
Title not available (Why is that?)
Characteristic formulae for timed autoamta
Compositional verification of asynchronous concurrent systems using CADP
On characteristic formulae for event-recording automata
A menagerie of timed automata
Applications and Theory of Petri Nets 2005
Decompositional reasoning about the history of parallel processes
Efficient On-the-Fly Algorithms for Partially Observable Timed Games
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Structural translation from time Petri nets to timed automata
Symbolic Unfoldings for Networks of Timed Automata

This page was built for software: CMC