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.
Functional Programming
Computer Science
QuickSpec
Theory Exploration
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
Computer and Information Science
DOI
10.1145/3122955.3122960