Bounded model checking for timed automata
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1973987
- Bounded Model Checking for Parametric Timed Automata
- Verified model checking of timed automata
- Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
- Formal Modeling and Analysis of Timed Systems
- SAT based bounded model checking with partial order semantics for timed automata
- SAT-based unbounded model checking of timed automata
- Model-checking timed temporal logics
- Bounded model-checking of discrete duration calculus
- A New Approach to Bounded Model Checking for Branching Time Logics
Cites work
- A theory of timed automata
- Analysis of timed systems using time-abstracting bisimulations
- Bounded model checking using satisfiability solving
- Deciding Linear Inequalities by Computing Loop Residues
- Graph-Based Algorithms for Boolean Function Manipulation
- scientific article; zbMATH DE number 1973987 (Why is no real title available?)
- scientific article; zbMATH DE number 1796153 (Why is no real title available?)
- scientific article; zbMATH DE number 1798183 (Why is no real title available?)
- scientific article; zbMATH DE number 1903356 (Why is no real title available?)
- scientific article; zbMATH DE number 2090318 (Why is no real title available?)
- scientific article; zbMATH DE number 2102690 (Why is no real title available?)
- scientific article; zbMATH DE number 898449 (Why is no real title available?)
- scientific article; zbMATH DE number 1400094 (Why is no real title available?)
- scientific article; zbMATH DE number 1424030 (Why is no real title available?)
- HyTech: A model checker for hybrid systems
- Model checking of safety properties
- Predicate abstraction for dense real-time systems
- Safety, liveness and fairness in temporal logic
- Symbolic model checking for real-time systems
- Towards Bounded Model Checking for the Universal Fragment of TCTL
- Uppaal in a nutshell
- Verification of timed automata via satisfiability checking
Cited in
(33)- Bounded model checking for knowledge and real time
- Reducing bounded realizability analysis to reachability checking
- Superposition as a decision procedure for timed automata
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Periodicity based decidable classes in a first order timed logic
- Efficient timed model checking for discrete-time systems
- scientific article; zbMATH DE number 1693437 (Why is no real title available?)
- Bounded model checking with SNF, alternating automata, and Büchi automata
- Bounded Model Checking for Parametric Timed Automata
- Bounded model-checking of discrete duration calculus
- On bounded specifications
- Linear completeness thresholds for bounded model checking
- Time-Bounded Verification
- Hypervolume Approximation in Timed Automata Model Checking
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- SAT based bounded model checking with partial order semantics for timed automata
- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking
- scientific article; zbMATH DE number 1973987 (Why is no real title available?)
- scientific article; zbMATH DE number 1852149 (Why is no real title available?)
- scientific article; zbMATH DE number 2090318 (Why is no real title available?)
- Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
- CONCUR 2004 - Concurrency Theory
- Verification of timed automata via satisfiability checking
- Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- scientific article; zbMATH DE number 5024617 (Why is no real title available?)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
- SAT-based unbounded model checking of timed automata
- Formal Modeling and Analysis of Timed Systems
- Unbounded, fully symbolic model checking of timed automata using Boolean methods.
- Bounded model checking distributed temporal logic
This page was built for publication: Bounded model checking for timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842869)
