jspin: GUI for running the SPIN model checker (via hwayne) — discussion

#formalmethods