Model-checking for real-time systems
From MaRDI portal
Publication:5055879
DOI10.1007/3-540-60249-6_41OpenAlexW1863150103MaRDI QIDQ5055879FDOQ5055879
Authors: Paul Pettersson, Wang Yi, Kim G. Larsen 
Publication date: 9 December 2022
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60249-6_41
Recommendations
Cites Work
- A theory of timed automata
- Symbolic model checking: \(10^{20}\) states and beyond
- A lattice-theoretical fixpoint theorem and its applications
- Symbolic model checking for real-time systems
- From timed automata to logic -- and back
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (45)
- Symbolic model checking of timed guarded commands using difference decision diagrams
- Spotlight abstraction in model checking real-time task schedulability
- 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
- Efficient timed model checking for discrete-time systems
- On-the-fly \(TCTL\) model checking for time Petri nets
- Parametric real-time model checking using splitting trees
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Cost Problems for Parametric Time Petri Nets*
- Equivalence checking 40 years after: a review of bisimulation tools
- Symbolic and compositional reachability for timed automata
- Real-Time Model Checking on Secondary Storage
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
- Title not available (Why is that?)
- Title not available (Why is that?)
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Symbolic model checking for real-time systems
- Towards verification of computation orchestration
- A space-efficient on-the-fly algorithm for real-time model checking
- Model Checking Timed Systems with Urgencies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Correct Hardware Design and Verification Methods
- Compact data structures and state-space reduction for model-checking real-time systems
- Title not available (Why is that?)
- The dynamic checking of complex real time system
- Compositional Abstraction in Real-Time Model Checking
- Compositional verification of asynchronous concurrent systems using CADP
- Scenario-based verification of real-time systems using UPPAAL
- A game approach to the parametric control of real-time systems
- Detecting synchronisation of biological oscillators by model checking
- On Expressiveness and Complexity in Real-Time Model Checking
- Speeding up model checking of timed-models by combining scenario specialization and live component analysis
- A partial order semantics approach to the clock explosion problem of timed automata
- Shrinking of time Petri nets
- Uppaal in a nutshell
- Automatic real-time analysis of reactive systems with the PARTS toolset
- Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets
- Model checking MASL specification of distributed real-time systems
- Correctness of efficient real-time model checking
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- 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)
