finite-state-processes

Here is 1 public repository matching this topic...

Verification tool for concurrent systems using FSP and Labelled Transition Systems, with LTS visualization, animation, and a working MSC plugin.

To associate your repository with the finite-state-processes topic, visit your repo's landing page and select "manage topics."