- SAW: Software Analysis Workbench http://saw.galois.com/ 6 comments haskell
- Open Sourced: The Software Analysis Workbench (tool written largely in Haskell for software verification) http://saw.galois.com/ 6 comments haskell
- Software Analysis Workbench, cousin of Cryptol, is open source http://saw.galois.com/ 5 comments crypto
Linking pages
- GitHub - jameysharp/corrode: C to Rust translator https://github.com/jameysharp/corrode 255 comments
- Auditing popular Rust crates: how a one-line unsafe has nearly ruined everything | by Sergey "Shnatsel" Davidoff | Medium https://medium.com/@shnatsel/auditing-popular-rust-crates-how-a-one-line-unsafe-has-nearly-ruined-everything-fab2d837ebb1 93 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- You Already Know Formal Methods - Galois, Inc. https://galois.com/blog/2021/10/you-already-know-formal-methods/ 17 comments
- Automatic Rust verification tools (2021) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 16 comments
- Announcing the Software Analysis Workbench - Galois, Inc. http://galois.com/blog/2015/06/announcing-software-analysis-workbench 8 comments
- GitHub - GaloisInc/cryptol: Cryptol: The Language of Cryptography https://github.com/GaloisInc/cryptol 7 comments
- Part one: Verifying s2n HMAC with SAW - Galois, Inc. https://galois.com/blog/2016/09/verifying-s2n-hmac-with-saw/ 6 comments
- Galois Announces ISC: The Imperfect Stitch Compiler - Galois, Inc. https://galois.com/blog/2016/04/galois-announces-isc-the-imperfect-stitch-compiler/ 3 comments
- Haskell and Hacking: Reflections on the GHC Contributors’ Workshop and ZuriHac - Galois, Inc. https://galois.com/blog/2023/07/haskell-and-hacking-reflections-on-the-ghc-contributors-workshop-and-zurihac/ 2 comments
- Continuous Formal Verification of Amazon s2n | SpringerLink https://link.springer.com/chapter/10.1007/978-3-319-96142-2_26 1 comment
- Automated Reasoning as an Annoying Child - Galois, Inc. https://galois.com/blog/2020/10/automated-reasoning-as-an-annoying-child/ 1 comment
- Crux: Introducing Our New Open-Source Tool for Software Verification - Galois, Inc. http://galois.com/blog/2020/10/crux-introducing-our-new-open-source-tool-for-software-verification/ 0 comments
- 2019: Year in review - Galois, Inc. https://galois.com/blog/2020/01/2019-year-in-review/ 0 comments
- Equivalence proofs with SAW - Exploring formal verification (part 1) https://timtaubert.de/blog/2017/01/equivalence-proofs-with-saw/ 0 comments
- Verified binary multiplication for GHASH - Exploring formal verification (part 3) https://timtaubert.de/blog/2017/06/verified-binary-multiplication-for-ghash/ 0 comments
- Automated Reasoning and Amazon s2n | AWS Security Blog http://blogs.aws.amazon.com/security/post/TxLEHNNDPUFDU9/Automated-Reasoning-and-Amazon-s2n 0 comments
- Simple Cryptol specifications - Exploring formal verification (part 2) https://timtaubert.de/blog/2017/02/simple-cryptol-specifications/ 0 comments