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