Recommendations
Cites work
- scientific article; zbMATH DE number 176728 (Why is no real title available?)
- scientific article; zbMATH DE number 177237 (Why is no real title available?)
- scientific article; zbMATH DE number 4118343 (Why is no real title available?)
- A lattice-theoretical fixpoint theorem and its applications
- A theory of timed automata
- From timed automata to logic -- and back
- Symbolic model checking for real-time systems
- Symbolic model checking: \(10^{20}\) states and beyond
Cited in
(48)- Symbolic model checking of timed guarded commands using difference decision diagrams
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Spotlight abstraction in model checking real-time task schedulability
- Exact acceleration of real-time model checking
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Backward symbolic optimal reachability in weighted timed automata
- On subgame perfect equilibria in turn-based reachability timed games
- On-the-fly TCTL model checking for time Petri nets
- Efficient timed model checking for discrete-time systems
- Parametric real-time model checking using splitting trees
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Equivalence checking 40 years after: a review of bisimulation tools
- Symbolic and compositional reachability for timed automata
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
- scientific article; zbMATH DE number 1696495 (Why is no real title available?)
- Real-Time Model Checking on Secondary Storage
- Is your model checker on time? On the complexity of model checking for timed modal logics
- scientific article; zbMATH DE number 2080070 (Why is no real title available?)
- Symbolic model checking for real-time systems
- Towards verification of computation orchestration
- A space-efficient on-the-fly algorithm for real-time model checking
- Verifying temporal properties in real models
- Model Checking Timed Systems with Urgencies
- scientific article; zbMATH DE number 1629959 (Why is no real title available?)
- scientific article; zbMATH DE number 1696448 (Why is no real title available?)
- scientific article; zbMATH DE number 1956586 (Why is no real title available?)
- scientific article; zbMATH DE number 1746447 (Why is no real title available?)
- Compact data structures and state-space reduction for model-checking real-time systems
- Correct Hardware Design and Verification Methods
- scientific article; zbMATH DE number 2090522 (Why is no real title available?)
- The dynamic checking of complex real time system
- Compositional Abstraction in Real-Time Model Checking
- Scenario-based verification of real-time systems using UPPAAL
- Compositional verification of asynchronous concurrent systems using CADP
- A game approach to the parametric control of real-time systems
- Cost problems for parametric time Petri nets
- Detecting synchronisation of biological oscillators by model checking
- Parking can get you there faster: model augmentation to speed up real-time model checking
- On Expressiveness and Complexity in Real-Time Model Checking
- A partial order semantics approach to the clock explosion problem of timed automata
- Speeding up model checking of timed-models by combining scenario specialization and live component analysis
- Shrinking of time Petri nets
- Uppaal in a nutshell
- Automatic real-time analysis of reactive systems with the PARTS toolset
- Model checking MASL specification of distributed real-time systems
- Correctness of efficient real-time model checking
- Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
This page was built for publication: Model-checking for real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055879)
