Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

CASL.CompositionTable.ModelChecker

Description

checks validity of models regarding a composition table

Documentation

modelCheck :: Int -> (Sign () (), [Named (FORMULA ())]) -> Table2 -> Result () Source #