Search Results - RepositoryStats

37

473

unknown

55

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

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

Created 2018-02-13

95 commits to master branch, last one 2 days ago

37

263

mit

16

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

pluscal tlaplus tla-specification

Created 2019-05-22

276 commits to master branch, last one about a month ago

2

42

mit

3

An instructional website with progressively worked examples of TLA+ specifications and model checking.

tla-plus formal-methods tla-specification formal-verification

Created 2022-06-10

7 commits to main branch, last one 2 years ago