QuickSpec

Open jariji opened this issue 2 years ago • 0 comments

Paper https://smallbone.se/papers/quickspec2.pdf Talk https://www.youtube.com/watch?v=eTcq_QqhFfM

QuickSpec is a Haskell tool that given some functions searches for equational properties like commutativity, printed to the repl, which can then be copied into the specification code.

Jun 17 '23 08:06 jariji