Search Results - RepositoryStats

37

500

unknown

56

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 4 months ago

36

269

mit

15

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

pluscal tlaplus tla-specification

Created 2019-05-22

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

2

43

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