ligurio/practical-fm

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

↗ Open on GitHub

Stars

610

Forks

46

Language

—

License

—

Last push

6 months ago

coq formal-methods formal-verification tlaplus software-engineering practice formal-verification-methods tla-specification

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.