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. ▲ 2
    A list of companies that use formal verification methods
    story by ligurio · 2021-02-08 · 0 comments
  2. ▲ 1
    A List of companies that use Formal methods in Software engineering
    story by AlexDenisov · 2018-02-14 · 0 comments