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.
-
Updated
May 26, 2022 - Java
#
satisfies-proposition
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the satisfies-proposition topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the satisfies-proposition topic, visit your repo's landing page and select "manage topics."