SRI-CSL / sally

A model checker for infinite-state systems.

Date Created 2014-10-03 (10 years ago)

Commits 943 (last one 16 days ago)

Stargazers 69 (0 this week)

Watchers 13 (0 this week)

Forks 13

License gpl-2.0

Ranking

RepositoryStats indexes 600,333 repositories, of these SRI-CSL/sally is ranked #380,464 (37th percentile) for total stargazers, and #167,250 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #21,276/32,091.

Other Information

SRI-CSL/sally has Github issues enabled, there are 19 open issues and 41 closed issues.

There have been 1 release, the latest one was published on 2021-02-18 (3 years ago) with the name 2021-02-19.

Homepage URL: http://sri-csl.github.io/sally/

All Topics

ic3 k-induction verification model-checker transition-systems bounded-model-checking

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is C++ but there's also others...

updated: 2024-12-20 @ 04:58am, id: 24773571 / R_kgDOAXoDww