CMC
From MaRDI portal
Cited in
(54)- Romeo
- TAPAAL
- The power of reachability testing for timed automata
- Kronos
- TINA
- IF-2.0
- PetriNets
- Uppaal
- DREAM Tool
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Updatable timed automata
- Exp.Open
- McAiT
- Natural projection as partial model checking
- CAESAR_SOLVE
- CoVer
- Compositional verification of asynchronous concurrent systems using CADP
- Tempo
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- fc2tools
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- UPPAAL TIGA
- Synthia
- TCT
- Characteristic formulae for timed autoamta
- scientific article; zbMATH DE number 1670789 (Why is no real title available?)
- libFAUDES
- On characteristic formulae for event-recording automata
- Structural translation from time Petri nets to timed automata
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Decompositional reasoning about the history of parallel processes
- Verification of Timed-Arc Petri Nets
- LNT2LOTOS
- REDLIB
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- Automatic Abstraction Refinement for Timed Automata
- Symbolic Unfoldings for Networks of Timed Automata
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- TCTL inevitability analysis of dense-time systems
- Symbolic and compositional reachability for timed automata
- UPPAAL CORA
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1956577 (Why is no real title available?)
- scientific article; zbMATH DE number 1956585 (Why is no real title available?)
- scientific article; zbMATH DE number 2080037 (Why is no real title available?)
- scientific article; zbMATH DE number 2080038 (Why is no real title available?)
- MuDiv
- PESTS
- A menagerie of timed automata
- Timed modal logics for real-time systems. Specification, verification and control
- The Power of Proofs: New Algorithms for Timed Automata Model Checking
- Applications and Theory of Petri Nets 2005
- Formal Modeling and Analysis of Timed Systems
This page was built for software: CMC
