SAW Suite is a binary software distribution for a number of open-source tools used for specification and formal verification of software and hardware. SAW Suite offers a conveniently packaged collection of all the tools in the SAW ecosystem, with nightly (i.e., recent) versions of the tools that are known to work together.
SAW Suite currently contains the following tools: