QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Journal article, 2017
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
QuickSpec
Computer Science
Theory Exploration
Functional Programming
Author
Maximilian Algehed
Functional Programming
Koen Lindström Claessen
Functional Programming
Moa Johansson
Formal Methods
Nicholas Smallbone
Functional Programming
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
07308566 (ISSN)
Vol. 52 10 38-39Subject Categories (SSIF 2011)
Computer and Information Science
DOI
10.1145/3122955.3122960