A model checker for infinite-state systems.
Home Page:http://sri-csl.github.io/sally/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool