VeriSmall
From MaRDI portal
Cited in
(11)- Mostly sound type system improves a foundational program verifier
- SLAyer
- VeriStar
- Mechanized Semantic Library
- Barriers in concurrent separation logic: now with tool support!
- Charge!
- Gallina
- C-to-Isabelle
- Verified heap theorem prover by paramodulation
- Backwards and forwards with separation logic
- Featherweight VeriFast
This page was built for software: VeriSmall
