32 citations · 56 across the 7 of their papers we have counts for
1 paper · 1 filter
Stefan Vijzelaar, Kees Verstoep, Wan Fokkink +1
Spin in Java (SpinJa) is an explicit state model checker for the Promela modelling language also used by the SPIN model checker. Designed to be extensible and reusable, the impleme…