swMATH9748MaRDI QIDQ21727FDOQ21727
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_21
Cited In (45)
- Code2Inv
- ICE-based refinement type discovery for higher-order functional programs
- HolBA
- A calculus for modular loop acceleration
- Guiding Craig interpolation with domain-specific abstractions
- 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
- Solving non-linear Horn clauses using a linear Horn clause solver
- Learning inductive invariants by sampling from frequency distributions
- Pono
- CLN2INV
- RustHorn
- TreeAutomizer
This page was built for software: Eldarica
