1 result found Sort:

ligurio
practical-fm ligurio
42
522
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
98 commits to master branch, last one about a month ago