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