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