SRI-CSL / sally

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

SRI-CSL/sally Stargazers