GitHub.GG
Explore
Features
Pricing
Docs
Star
Toggle menu
practical-fm
Public
A gently curated list of companies using verification formal methods in industry
Code
Star
548
Fork
42
Watch
548
Code
Diagram
Issues
Pull Requests
Actions
Security
Insights
Settings
Issues
New Issue
Open
Closed
All
All Issues
Update Formal Land's projects
#38
Opened 2/11/2025
1 comments
by
clarus
Closed
Update Informal Systems' projects
#37
Opened 1/24/2025
1 comments
by
bugarela
Closed
Add Dafny to the list of Amazon tools
#36
Opened 7/3/2024
1 comments
by
alvinary
Closed
Add tool to company (Amazon uses Dafny)
#35
Opened 7/3/2024
2 comments
by
alvinary
Closed
Add Prover Technology
#34
Opened 3/14/2024
1 comments
by
danabr
Closed
Fix trustworthy systems's group link
#33
Opened 12/20/2023
0 comments
by
math2001
Closed
Add Two Six Technologies
#32
Opened 6/7/2023
0 comments
by
yakir-forman
Closed
Update entry for Arm
#31
Opened 2/2/2023
1 comments
by
mayankmanj
Closed
Add Kestrel Institute
#30
Opened 2/1/2023
3 comments
by
acoglio
Closed
update Formal Vindications entry
#29
Opened 1/26/2023
1 comments
by
clayrat
Closed
Previous
Page 1
Next