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