Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (via GUI imports, FlexibleInstances)
Safe HaskellNone

CASL.QuickCheck

Description

QuickCheck model checker for CASL.CFOL. Initially, only finite enumeration domains are supported

Synopsis

Documentation

quickCheckProver :: Prover CASLSign CASLFORMULA CASLMor CASL_Sublogics ProofTree Source #

The Prover implementation. First runs the batch prover (with graphical feedback), then starts the GUI prover.