/jpf-label

jpf-label is a basic extension of JPF which provides an easy way to label states with atomic propositions.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

Stargazers