Pages that link to "Item:Q2324206"
From MaRDI portal
The following pages link to Verified model checking of timed automata (Q2324206):
Displaying 30 items.
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Expressiveness and conciseness of timed automata for the verification of stochastic models (Q782571) (← links)
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Certifying emptiness of timed Büchi automata (Q1996011) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Bounded model checking for timed automata (Q2842869) (← links)
- Bounded Model Checking for Parametric Timed Automata (Q2889614) (← links)
- Verification for Timed Automata extended with Unbounded Discrete Data Structures (Q3196352) (← links)
- Hypervolume Approximation in Timed Automata Model Checking (Q3510836) (← links)
- Robust Model-Checking of Linear-Time Properties in Timed Automata (Q3525763) (← links)
- (Q4415138) (← links)
- (Q4952304) (← links)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- Verified Certification of Reachability Checking for Timed Automata (Q5039522) (← links)
- Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Q5259307) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311487) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395106) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464753) (← links)
- (Q5469517) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479159) (← links)
- The Power of Proofs: New Algorithms for Timed Automata Model Checking (Q5500559) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717499) (← links)
- (Q5875428) (← links)
- (Q5875431) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- \textsc{CoqCryptoLine}: a verified model checker with certified results (Q6535536) (← links)
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting (Q6611962) (← links)
