ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry

Date Created 2018-02-13 (6 years ago)

Commits 95 (last one 3 months ago)

Stargazers 495 (1 this week)

Watchers 56 (0 this week)

Forks 36

License unknown

Ranking

RepositoryStats indexes 566,921 repositories, of these ligurio/practical-fm is ranked #89,570 (84th percentile) for total stargazers, and #36,117 for total watchers.

ligurio/practical-fm is also tagged with popular topics, for these it's ranked: software-engineering (#59/240)

Other Information

ligurio/practical-fm has 1 open pull request on Github, 23 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 3 open issues and 6 closed issues.

All Topics

coq tlaplus practice formal-methods tla-specification formal-verification software-engineering formal-verification-methods

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-10-01 @ 08:20pm, id: 121409745 / R_kgDOBzyQ0Q