Description
FSP specifications can be compiled and analyzed with labeled transition system tooling.
This is formal methods developer tooling. It is mainly useful for users modeling concurrent systems or checking protocol behavior.
FICHA · AUR
fspcc
An FSP compiler and LTS analysis tool
- formal-methods-tool
- CLI
- DEVELOPER-TOOL
- SCIENCE
- Launchable
- Runs in terminal
official+codex · reviewed · May 31, 2026 description in
en How to run
fspcc
Commands: fspcc
Permissions
Permissions not analysed for this source yet.