name: CSPM-FiringRules
version: 0.3.0.3
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 - 2011 Marc Fontaine
maintainer: Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
homepage: http://www.stups.uni-duesseldorf.de/~fontaine/csp
stability: experimental
tested-With: GHC == 7.0.2
cabal-Version: >= 1.10
flag QuickCheck
description: enable QuickCheck tests
default: True
library
build-Depends:
CSPM-CoreLanguage >= 0.2 && < 0.3
,tree-monad >=0.3 && < 0.4
,parallel-tree-search >=0.4 && < 0.5
,base >= 4.0 && < 5.0
,containers >= 0.4 && < 0.5
,mtl (>= 2.0 && < 2.1 ) || (>= 1.1 && < 1.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
if flag(QuickCheck)
build-depends:
QuickCheck >= 2.4 && < 2.5
,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