swMATH24485MaRDI QIDQ36242FDOQ36242
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-319-41528-4_14
Source code repository: https://github.com/bishoksan/RAHFT
Cited In (21)
- An iterative approach to precondition inference using constrained Horn clauses
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- Incremental and modular context-sensitive analysis
- Title not available (Why is that?)
- Dagger
- PURRS
- TRACER
- Eldarica
- HSF
- Ciao
- CiaoPP
- SeaHorn
- c2i
- Spacer
- VeriMAP
- JayHorn
- IncA
- Title not available (Why is that?)
- Learning inductive invariants by sampling from frequency distributions
- TreeAutomizer
- Removing algebraic data types from constrained Horn clauses using difference predicates
This page was built for software: RAHFT
