QuickSpec

MaRDI QIDQ31036swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-642-13977-2_3

Cited in

(15)

• QuickCheck
• Zeno
• HipSpec
• Lemma discovery for induction. A survey
• Hipster
• Proving properties of functional programs by equality saturation
• TIP
• Graphsc
• Pirate
• MATHsAiD
• TIP: tools for inductive provers
• Refal
• Quick specifications for the busy programmer
• Hipster: integrating theory exploration in a proof assistant
• IsaCoSy

This page was built for software: QuickSpec