Search Results - RepositoryStats

38

507

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

37

275

mit

15

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

pluscal tlaplus tla-specification

Created 2019-05-22

280 commits to master branch, last one 12 days ago

2

44

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