Search Results - RepositoryStats

40

509

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

97 commits to master branch, last one 6 days ago

37

277

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 about a month 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