| | Specifications Don't Exist (2025) (galois.com) |
| 59 points by surprisetalk 13 days ago | past | 13 comments |
|
| | Proofs Should Repair Themselves (galois.com) |
| 2 points by surprisetalk 21 days ago | past |
|
| | Building a Concurrency Verifier Using Crucible (galois.com) |
| 2 points by surprisetalk 21 days ago | past |
|
| | Galois / Twisp: Avoiding Foolishness in Distributed Systems (galois.com) |
| 2 points by surprisetalk 22 days ago | past |
|
| | Formal Verification Benchmarks Are the Key to Ironclad Software Infrastructure (galois.com) |
| 2 points by surprisetalk 75 days ago | past |
|
| | Automated Lean Proofs for Every Type (galois.com) |
| 1 point by Bogdanp 11 months ago | past |
|
| | Automated Lean Proofs for Every Type (galois.com) |
| 40 points by surprisetalk 11 months ago | past | 4 comments |
|
| | Claude can sometimes prove it (galois.com) |
| 219 points by lairv 11 months ago | past | 69 comments |
|
| | Claude Can (Sometimes) Prove It (galois.com) |
| 3 points by Bogdanp 11 months ago | past |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 3 points by tosh on May 31, 2025 | past |
|
| | What works (and doesn't) selling formal methods (galois.com) |
| 144 points by azhenley on May 29, 2025 | past | 75 comments |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 2 points by pdubroy on May 26, 2025 | past |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 3 points by azhenley on May 25, 2025 | past |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 2 points by matt_d on May 10, 2025 | past |
|
| | Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com) |
| 116 points by thinkmoore on March 20, 2025 | past | 12 comments |
|
| | You are rolling your own crypto (galois.com) |
| 3 points by fanf2 on July 6, 2024 | past |
|
| | Galois Open Sources Yapall – Yet Another Pointer Analysis for LLVM (galois.com) |
| 2 points by p4bl0 on Oct 7, 2023 | past |
|
| | Formal methods and AI: Where does Galois fit in? (galois.com) |
| 2 points by shpat on April 17, 2023 | past |
|
| | A Visual Guide to Pointer Analysis with Cclyzer++: Part 2 (galois.com) |
| 1 point by thinkmoore on Aug 31, 2022 | past | 1 comment |
|
| | MATE: Interactive Program Analysis with Code Property Graphs (galois.com) |
| 2 points by p4bl0 on Aug 27, 2022 | past |
|
| | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
| 9 points by homarp on Aug 26, 2022 | past |
|
| | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
| 2 points by woodruffw on Aug 25, 2022 | past |
|
| | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
| 13 points by shpat on Aug 24, 2022 | past | 2 comments |
|
| | Should It Be Easier to Trust Machines or Harder to Trust Humans? (galois.com) |
| 2 points by shpat on Dec 16, 2021 | past |
|
| | Room for Disagreement (galois.com) |
| 2 points by shpat on Nov 9, 2021 | past |
|
| | You Already Know Formal Methods (galois.com) |
| 87 points by azhenley on Oct 14, 2021 | past | 13 comments |
|
| | You Are Rolling Your Own Crypto (galois.com) |
| 4 points by zdw on April 17, 2021 | past |
|
| | Real-Time Robotics Control in the Lean Language (galois.com) |
| 2 points by exdsq on March 30, 2021 | past |
|
| | Actually, You Are Rolling Your Own Crypto (galois.com) |
| 1 point by shpat on March 16, 2021 | past |
|
| | Using Cryptol to analyze parts of the QUIC spec (galois.com) |
| 2 points by jldodds on March 5, 2021 | past |
|
|
| More |
