Hacker GitHub

← All repos

ligurio/practical-fm

View on GitHub ↗ ★ 617

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

4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2018-02-14 · latest 2025-07-31

Mentions per year 4 mentions · busiest year 2021 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …some large companies use Rocq to verify critical software like in airplanes (there's a list at https://github.com/ligurio/practical-fm although it may not be accurate). Big projects in Lean include mathlib (collection of various…
    comment by armchairhacker · 2025-07-31 · in The Math Is Haunted
  2. Software companies widely uses TLA+ https://github.com/ligurio/practical-fm
    comment by ligurio · 2021-03-08 · in TLA+
  3. ▲ 2
    A list of companies that use formal verification methods
    story by ligurio · 2021-02-08 · 0 comments
  4. ▲ 1
    A List of companies that use Formal methods in Software engineering
    story by AlexDenisov · 2018-02-14 · 0 comments