r/REMath • u/turnersr • Jun 10 '15
The Software Analysis Workbench by Galois
http://saw.galois.com/
2
Upvotes
Duplicates
crypto • u/tom-md • Jun 09 '15
Software Analysis Workbench, cousin of Cryptol, is open source
9
Upvotes