AlphaUncommon
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
- Owner
- ligurio (personal account)
- Stars
- Stars: 615
- Forks
- Forks: 47
- Language
- No language
- License
- None
- Created
- 2018
- Topics
- formal-verificationformal-methodstlaplustla-specificationcoqsoftware-engineeringformal-verification-methodspractice
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by ligurio
All 7 repos by ligurio- ligurio/awesome-ciStars: 4,177RC
- ligurio/sqa-wikiStars: 2,320RC
- ligurio/awesome-ttygamesStars: 1,032HTMLBeta
- ligurio/awesome-openbsdStars: 490Alpha
- ligurio/unreliablefsStars: 184CPrototype
- ligurio/swebok-2004-in-russianStars: 100MakefilePrototype