VeriMAP
From MaRDI portal
Cited in
(29)- LOGEN
- ECCE
- ARMC
- Dagger
- PURRS
- Princess
- Removing algebraic data types from constrained Horn clauses using difference predicates
- TRACER
- Eldarica
- Leveraging Horn clause solving for compositional verification of PLC software
- HSF
- Threader
- Ciao
- CiaoPP
- Verification of time-aware business processes using constrained Horn clauses
- Horn clause solvers for program verification
- SeaHorn
- Spacer
- RAHFT
- Horn clauses as an intermediate representation for program analysis and transformation
- Proving correctness of imperative programs by linearizing constrained Horn clauses
- Incremental and modular context-sensitive analysis
- Solving non-linear Horn clauses using a linear Horn clause solver
- Removing unnecessary variables from Horn clause verification conditions
- scientific article; zbMATH DE number 7453193 (Why is no real title available?)
- scientific article; zbMATH DE number 7455725 (Why is no real title available?)
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
- IncA
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
This page was built for software: VeriMAP
