name: CSPM-FiringRules
version: 0.4.3.0
synopsis: Firing rules semantic of CSPM
description:
This package contains functions for computing the transitions of a CSP process
based on the standard CSP firing rule semantic
(see The Theory and Practice of Concurrency A.W. Roscoe 1999.)
It also contains a rudimentary tracer for executing transitions,
some QuickCheck tests, and a data type for proof trees.
To use this package one has to provide instances for the classes and type families,
defined in the CSPM-CoreLanguage package.
The package contains two mock-implementations that provide these instances.
The CSPM-Interpreter package contains an other implementation.
category: Language,Formal Methods,Concurrency
build-type: Simple
license: BSD3
license-file: LICENSE
author: 2010 - 2014 Marc Fontaine
maintainer: Marc Fontaine <Marc.Fontaine@gmx.de>
stability: experimental
tested-With: GHC == 7.83
cabal-Version: >= 1.20
flag QuickCheck
description: enable QuickCheck tests
default: True
library
build-Depends:
CSPM-CoreLanguage >= 0.3 && < 0.4
,tree-monad >=0.3 && < 0.4
,parallel-tree-search >=0.4 && < 0.5
,base >= 4.0 && < 5.0
,containers >= 0.5 && < 0.6
,mtl >= 2.1 && < 2.2
Default-Language: Haskell2010
ghc-options: -funbox-strict-fields -O2 -Wall
hs-source-dirs: src
exposed-modules:
CSPM.FiringRules.Rules
CSPM.FiringRules.Verifier
CSPM.FiringRules.EnumerateEvents
CSPM.FiringRules.EnumerateEventsList
CSPM.FiringRules.FieldConstraints
CSPM.FiringRules.FieldConstraintsSearch
CSPM.FiringRules.Search
CSPM.FiringRules.Trace
CSPM.FiringRules.HelperClasses
CSPM.FiringRules.Version
Other-modules:
Paths_CSPM_FiringRules
if flag(QuickCheck)
build-depends:
QuickCheck >= 2.6 && < 2.7
,random >= 1.0 && < 1.1
exposed-modules:
CSPM.FiringRules.Test.Test
other-modules:
CSPM.FiringRules.Test.Mock1
CSPM.FiringRules.Test.Mock2
CSPM.FiringRules.Test.Gen