npm

spin

Efficient verification tool for checking multi-threaded software correctness

brewmacoslinux
Try with needOr install directly
Source

About

Efficient verification tool of multi-threaded software

Commands

spin

Examples

Verify a Promela model file for deadlocks and assertion violations$ spin -a model.pml
Generate a verifier and compile it to check a model$ spin -a model.pml && gcc -o pan pan.c && ./pan
Simulate execution of a Promela model interactively$ spin -i model.pml