Cited in
(22)- Removing algebraic data types from constrained Horn clauses using difference predicates
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- scientific article; zbMATH DE number 7444022 (Why is no real title available?)
- Learning inductive invariants by sampling from frequency distributions
- LOGEN
- Dagger
- PURRS
- TRACER
- Eldarica
- HSF
- Ciao
- CiaoPP
- SeaHorn
- c2i
- Spacer
- VeriMAP
- JayHorn
- IncA
- Incremental and modular context-sensitive analysis
- TreeAutomizer
- An iterative approach to precondition inference using constrained Horn clauses
- scientific article; zbMATH DE number 7453190 (Why is no real title available?)
This page was built for software: RAHFT
