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

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellNone

CSPM.LTS.Deadlock

Description

Search the state-space of a CSPM process for deadlock states

Synopsis

Documentation

findDeadlockSource

Arguments

:: Sigma INT

Sigma

-> Process INT

the Process

-> Maybe [Rule INT] 

Search the statespace of a process for deadlock states. returns the shortes trace to a deadlock.