A teaching aid for concepts and algorithms in logic
-
Updated
Jun 8, 2024 - Java
A teaching aid for concepts and algorithms in logic
低代码数据治理脚手架
Command line tool for model checking using LTL, CTL and CTL* formulas
This project's objective is to program a model checking software that verifies the validity of a CTL formula on the initial state of a finite automaton.
A generic bounded model checker.
A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.
Petri Game Strategy Synthesis
Add a description, image, and links to the ctl topic page so that developers can more easily learn about it.
To associate your repository with the ctl topic, visit your repo's landing page and select "manage topics."