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!
Added by Jeroen Meijer over 5 years ago

View all news