Cited in
(18)- VerX
- Mau-Dev
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
- Learning inductive invariants by sampling from frequency distributions
- ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
- iJulienne
- HALO
- Stardust
- TreatJS
- MoCHi
- VeriFun
- ATAME
- Sage
- JSAI
- ABETS
- GASTAP
- Modular verification of higher-order functional programs
- Safety enforcement via programmable strategies in Maude
This page was built for software: LiquidHaskell