GitHub repository: AlgoArcade/Model-checking
Primary language: Python
Created: 2022-12-19T09:36:55Z
Description: Model checking used in Automata and temporal logic