ImperialViolet - A shallow survey of formal methods for C code - discu.eu

Hacker News

A shallow survey of formal methods for C code https://www.imperialviolet.org/2014/09/07/provers.html 3 comments 10/11/2014

A shallow survey of formal methods for C code https://www.imperialviolet.org/2014/09/07/provers.html 16 comments 8/9/2014

Reddit

A shallow survey of formal methods for C code https://www.imperialviolet.org/2014/09/07/provers.html 7 comments 8/9/2014 haskell

Linking pages

Using SPARK to prove 255-bit Integer Arithmetic… | The AdaCore Blog https://blog.adacore.com/using-spark-to-prove-255-bit-integer-arithmetic-from-curve25519 14 comments

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

Related searches:

Search whole site: site:www.imperialviolet.org

Search title: ImperialViolet - A shallow survey of formal methods for C code

See how to search.

Submit link to: