SYNOPSIS
spins [-o3] model.promela
spins [-o3] model.prm
spins [-o3] model
spins [-o3] model.prom
spins [-o3] model.pml
DESCRIPTION
spins executes the SpinS compiler, that is part of the LTSmin distribution,
on the given Promela model. The result is an .spins object file that implements
the PINS interface and can be used by the prom frontends.
OPTIONS
- -v
-
Increase verbosity.