GitHub / jbretsch / modelcheck
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.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jbretsch%2Fmodelcheck
PURL: pkg:github/jbretsch/modelcheck
Stars: 3
Forks: 0
Open issues: 2
License: mit
Language: Java
Size: 172 KB
Dependencies parsed at: Pending
Created at: over 8 years ago
Updated at: over 2 years ago
Pushed at: about 3 years ago
Last synced at: almost 2 years ago
Topics: ctl, ctl-formulae, ctl-formulas, java, kripke-structure, model-checking, satisfies, satisfies-proposition