论文信息 - QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) - 字舞流文

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)

This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.

Koen Claessen | Nicholas Smallbone | Moa Johansson | Maximilian Algehed

[1] Koen Claessen,et al. Hipster: Integrating Theory Exploration in a Proof Assistant , 2014, CICM.

[2] Koen Claessen,et al. QuickSpec: Guessing Formal Specifications Using Testing , 2010, TAP@TOOLS.

[3] Koen Claessen,et al. Quick specifications for the busy programmer , 2017, Journal of Functional Programming.

[4] Koen Claessen,et al. Automating Inductive Proofs Using Theory Exploration , 2013, CADE.

[5] Koen Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.