Pages that link to "Item:Q2324206"
From MaRDI portal
The following pages link to Verified model checking of timed automata (Q2324206):
Displaying 10 items.
- 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)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- Verified Certification of Reachability Checking for Timed Automata (Q5039522) (← 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)
