really intrigued by SAW for formal verification of existing code. http://saw.galois.com/tutorial.html #realworldcrypto
@bcrypt @RichFelker Did they change the license? I've been wanting to use it but the only license I see in GitHub is Non-commercial-use.
-
-
@BRIAN_____@RichFelker according to https://galois.com/blog/2015/06/announcing-software-analysis-workbench/ …, you can contact them to get a special commercial licenseThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@BRIAN_____@bcrypt@RichFelker they said BSD today. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.