HMC

MaRDI QIDQ21846swMATHFDO

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

Cited in

(9)

• 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
• Horn clause solvers for program verification
• On recursion-free Horn clauses and Craig interpolation
• HorSatP
• TravMC2
• Automatic Termination Verification for Higher-Order Functional Programs

This page was built for software: HMC