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

PortabilityGHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck todo :: make this a pure function (maybe serialize to a ByteString)
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

CSPM.LTS.ToCsp

Description

 

Synopsis

Documentation

ltsToCspSource

Arguments

:: Process INT

the intial process

-> LTS

the LTS

-> FilePath

output filename

-> IO () 

Dump an LTS to File in a format suitable for reloading it with FDR.