Collections
From MaRDI portal
Cited in
(13)- Formal verification of an executable LTL model checker with partial order reduction
- Refinement to imperative HOL
- Applying data refinement for monadic programs to Hopcroft's algorithm
- TkWinHOL
- CAVA
- Refinement Monadic
- Gabow SCC
- Native Word
- DiskPaxos
- Imperative Refinement
- Stuttering Equivalence
- Stable Matching
- Verified efficient implementation of Gabow's strongly connected component algorithm
This page was built for software: Collections
