GitHub repository: kuujo/real-time-model-checker
Primary language: Java
Created: 2020-02-20T05:58:25Z
Description: Real-time model checker plugin for TLA+