#

jspin

Here are 2 public repositories matching this topic...

Kledal / jspin

JSpin for OS X. Used at Aarhus University

Updated Apr 6, 2017
C

ikhwan12 / formal-verification-atm-spin

Formal verification of automated teller machine systems using SPIN

model-checking spin formal-verification jspin

Updated May 20, 2019

Improve this page

Add a description, image, and links to the jspin topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the jspin topic, visit your repo's landing page and select "manage topics."