HMC

MaRDI QIDQ21846swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-22110-1_38

Cited in

(9)

• Alloy*: a general-purpose higher-order relational constraint solver
• Horn clause solvers for program verification
• Automatically disproving fair termination of higher-order functional programs
• TravMC2
• HorSatP
• 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
• Constraint-based relational verification

This page was built for software: HMC