QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
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.
Thu 7 Sep
|14:00 - 14:30|
|14:30 - 15:00|
Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results