# ligurio/practical-fm

<https://repo.masters-masters.com/en/repos/ligurio/practical-fm>

[Home](https://repo.masters-masters.com/en) › [ligurio](https://repo.masters-masters.com/en/owners/ligurio) › [practical-fm](https://repo.masters-masters.com/en/repos/ligurio/practical-fm)

ligurio/practical-fm has 615 stars on GitHub. Its RepoMasters card: Alpha tier. A gently curated list of companies using verification formal methods in industry

| Field | Value |
| --- | --- |
| Owner | [ligurio](https://repo.masters-masters.com/en/owners/ligurio) |
| Stars | 615 |
| Forks | 47 |
| Language | No language |
| License | None |
| Created | 2018 |
| Topics | formal-verification, formal-methods, tlaplus, tla-specification, coq, software-engineering, formal-verification-methods, practice |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [ligurio/practical-fm](https://github.com/ligurio/practical-fm) |

## Repository

A gently curated list of companies using verification formal methods in industry

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by ligurio

- [ligurio/awesome-ci · ★ 4,177 · RC](https://repo.masters-masters.com/en/repos/ligurio/awesome-ci)
- [ligurio/sqa-wiki · ★ 2,321 · RC](https://repo.masters-masters.com/en/repos/ligurio/sqa-wiki)
- [ligurio/awesome-ttygames · ★ 1,032 · HTML · Beta](https://repo.masters-masters.com/en/repos/ligurio/awesome-ttygames)
- [ligurio/awesome-openbsd · ★ 490 · Alpha](https://repo.masters-masters.com/en/repos/ligurio/awesome-openbsd)
- [ligurio/unreliablefs · ★ 184 · C · Prototype](https://repo.masters-masters.com/en/repos/ligurio/unreliablefs)
- [ligurio/swebok-2004-in-russian · ★ 100 · Makefile · Prototype](https://repo.masters-masters.com/en/repos/ligurio/swebok-2004-in-russian)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.