CSPM-cspm-0.7.0.0: cspm command line tool for analyzing CSPM specifications.

PortabilityGHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellNone

CSPM.LTS.ToCsp

Description

 

Synopsis

Documentation

ltsToCspSource

Arguments

:: Process INT

the intial process

-> LTS

the LTS

-> Doc 

Translate an LTS to a CSP specification suitable for reloading it with FDR.