<![endif] [if lt IE 9]> <p class="chromeframe">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience.</p> <![endif] Begin Header Galois, Inc. Menu Research & Development Services Blog Team End Header Begin Page Blog > Announcing the Software Analysis Workbench Cryptography Domain Specific Languages Elections Formal Methods Functional Programming News Systems Software Tech Talks Share this article Facebook Twitter Google+ Aaron Tomb Tuesday, June 9, 2015 Cryptography , Formal Methods We are pleased to announce a public preview of the Software Analysis Workbench. The Software Analysis Workbench (SAW) provides the ability to formally verify properties of code written in C, Java, and Cryptol. It leverages automated SAT and SM...