QuickSpec: A Lightweight Theory Exploration Tool for Programmers
Paper in proceedings, 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)

0362-1340 (ISSN)

Vol. 52 10 38-39

Subject Categories

Computer and Information Science

DOI

10.1145/3122955.3122960

ISBN

9781450351829

More information

Created

12/13/2017