Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 14:00 - 14:30 at L1 - Day 1, Session 4

QuickSpec is a tool that automatically finds equations for a given signature of Haskell functions. The tool has seen big success so far as a component of automated inductive theorem provers. We believe QuickSpec to be a useful tool for Haskell programmers as well. Specifications produced by QuickSpec can be used as the foundation of formal specifications for Haskell libraries. Our demo will show QuickSpec in action and demonstrate some recent features.