jpf-label is a basic extension of JPF which provides an easy way to label states with atomic propositions.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool