LogoLogo
Galois Website
SAW
SAW
  • SAW: The Software Analysis Workbench
  • DOCUMENTATION
    • 📋SAW Tutorials and Manual
    • 📚Publications
  • Crux
    • 🔣What is Crux?
    • ❓When should I use Crux?
    • ⬇️Download Crux
  • OPEN SOURCE
    • Overview
    • How to Contribute
  • Download
    • Get SAW
      • Public Key
Powered by GitBook
On this page
Export as PDF
  1. DOCUMENTATION

Publications

PreviousSAW Tutorials and ManualNextWhat is Crux?

Last updated 2 months ago

  • "" by Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, and Aaron Tomb

  • “” by Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, and Andrei Stefanescu

  • “” by Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, and Eddy Westbrook

📚
Constructing semantic models of programs with the software analysis workbench
Verified Cryptographic Code for Everybody
Continuous Formal Verification of Amazon s2n