Cited in
(47)- ICE-based refinement type discovery for higher-order functional programs
- Guiding Craig interpolation with domain-specific abstractions
- A calculus for modular loop acceleration
- LOGEN
- FLATA
- PURRS
- clpfd
- Princess
- CPAchecker
- PeRIPLO
- StarExec
- Aligators
- HMC
- HSF
- Ciao
- CiaoPP
- Rex
- FOCI
- GNATprove
- RGITL
- FAST
- SeaHorn
- monabs
- OpenSMT2
- c2i
- Spacer
- CoVaC
- SACO
- MoCHi
- LoAT
- VeriMAP
- RAHFT
- JayHorn
- LiquidHaskell
- SMTS
- Crust
- Rust2Viper
- Bex
- nncontroller
- Code2Inv
- Solving non-linear Horn clauses using a linear Horn clause solver
- Learning inductive invariants by sampling from frequency distributions
- Pono
- CLN2INV
- RustHorn
- HolBA
- TreeAutomizer
This page was built for software: Eldarica
