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