| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 3 points by tosh 80 days ago | past |
|
| | What works (and doesn't) selling formal methods (galois.com) |
| 144 points by azhenley 82 days ago | past | 75 comments |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 2 points by pdubroy 85 days ago | past |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 3 points by azhenley 86 days ago | past |
|
| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
| 2 points by matt_d 3 months ago | past |
|
| | Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com) |
| 116 points by thinkmoore 5 months ago | 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 |
|
| | Proofs Should Repair Themselves (galois.com) |
| 115 points by harperlee on Feb 25, 2021 | past | 27 comments |
|
| | Automated Reasoning as an Annoying Child (galois.com) |
| 29 points by lelf on Feb 24, 2021 | past | 1 comment |
|
| | Proofs Should Repair Themselves (galois.com) |
| 2 points by shpat on Dec 9, 2020 | past |
|
| | Crux: Our new open-source tool for software verification (galois.com) |
| 3 points by onlydnaq on Oct 27, 2020 | past |
|
| | Crux: Exhaustive symbolic testing for C, C++, and Rust (galois.com) |
| 1 point by fanf2 on Oct 10, 2020 | past |
|
| | The ‘blst’ BLS verification project (galois.com) |
| 1 point by todsacerdoti on Sept 17, 2020 | past |
|
| | What4: A library to help build verification and program analysis tools (galois.com) |
| 56 points by lelf on July 30, 2020 | past | 2 comments |
|
| | Measuring the Privacy of Computations (galois.com) |
| 3 points by jmct on July 14, 2020 | past |
|
| | Galois 2019 Year in Review (galois.com) |
| 2 points by luu on July 10, 2020 | past |
|
|
| More |
