GitHub / informalsystems / modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/informalsystems%2Fmodelator-py
Stars: 28
Forks: 3
Open issues: 16
License: apache-2.0
Language: Python
Size: 68.7 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: 29 days ago
Pushed at: over 2 years ago
Last synced at: 1 day ago
Topics: apalache, cli, command-line, command-line-tool, model-checking, modeling, tla, tlaplus, tlc, utilities, utility
Loading...