Cited in
(9)- Constraint-based relational verification
- Automatically disproving fair termination of higher-order functional programs
- Automatic Termination Verification for Higher-Order Functional Programs
- ICE-based refinement type discovery for higher-order functional programs
- On recursion-free Horn clauses and Craig interpolation
- HorSatP
- TravMC2
- Horn clause solvers for program verification
- Alloy*: a general-purpose higher-order relational constraint solver
This page was built for software: HMC
