most citedDistributed MAP in the SpinJa Model Checker

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2011★ 2 cited

Distributed MAP in the SpinJa Model Checker

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…