Overview

SpinS is an LTSmin language frontend for Promela, written in Java. SpinS is a spin-off of SpinJa, which generated Java code from Promela models, while SpinS generates C code implementing LTSmin's PINS interface.

NOTE: we have moved to github: https://github.com/utwente-fmt/spins

Issue tracking

View all issues | Calendar

Latest news

We have moved to github!
https://github.com/utwente-fmt/spins
Added by Jeroen Meijer almost 3 years ago

View all news