Announcing the Software Analysis Workbench - Galois, Inc. - discu.eu

Reddit

First release: The Software Analysis Workbench (tool written largely in Haskell for software verification) http://galois.com/blog/2015/06/announcing-software-analysis-workbench/ 8 comments 10/6/2015 haskell

Linking pages

Applying Cryptol and SAW to Minilock Primitives - Galois, Inc. https://galois.com/blog/2015/06/cryptol-saw-minilock/ 0 comments

Linked pages

SAW http://saw.galois.com 18 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:galois.com

Search title: Announcing the Software Analysis Workbench - Galois, Inc.

See how to search.

Submit link to: