HMC
From MaRDI portal
Software:21846
swMATH9867MaRDI QIDQ21846FDOQ21846
Author name not available (Why is that?)
Cited In (7)
- Constraint-based relational verification
- ICE-based refinement type discovery for higher-order functional programs
- Alloy*: a general-purpose higher-order relational constraint solver
- Automatically disproving fair termination of higher-order functional programs
- On recursion-free Horn clauses and Craig interpolation
- Horn Clause Solvers for Program Verification
- Automatic Termination Verification for Higher-Order Functional Programs
This page was built for software: HMC
