motib/jspin
GUI for running the SPIN model checker
Public GitHub Catalog
Discovered Oct 6, 2026
motib / jbaci
Automatically exported from code.google.com/p/jbaci
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#32261945GitHub System ID
motibOrganization / User
PublicVisibility
ActiveCatalog Status
More from motib
motib/daj
Distributed Algorithms in Java
motib/mathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
motib/erigone
Erigone Model Checker