Description
Promela and Spin model-checking workflows gain a Tcl/Tk graphical interface. Developers and verification users can inspect models and runs; project files may describe proprietary protocols or algorithms.
FICHA · AUR
xspin
Tcl/Tk GUI for spin
- model-checking-gui
- GRAPHICAL
- Dev
- Launchable
official+codex · reviewed · Jun 5, 2026 description in
en How to run
xspin
Commands: xspin
Permissions
Permissions not analysed for this source yet.