1 result found Sort:

ligurio
practical-fm ligurio
40
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