Pages that link to "Item:Q1327398"
From MaRDI portal
The following pages link to Symbolic model checking for real-time systems (Q1327398):
Displayed 46 items.
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- How to stop time stopping (Q855006) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- A theory of discontinuities in physical system models (Q1388999) (← links)
- Verification in loosely synchronous queue-connected discrete timed automata. (Q1401187) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- The Verus language: Representing time efficiently with BDDs (Q1589589) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Dealing with practical limitations of distributed timed model checking for timed automata (Q2431767) (← links)
- Analysis of meeting protocols by formalisation, simulation, and verification (Q2463822) (← links)
- A symbolic decision procedure for cryptographic protocols with time stamps (Q2568115) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES (Q3021942) (← links)
- THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS (Q3021995) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions (Q3540075) (← links)
- (Q4945220) (← links)
- Testing timed automata (Q5940921) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- Proving sequential function chart programs using timed automata (Q5958730) (← links)