After Heartbleed: A Look at Languages that Support Provability

The open-source SPARK 2014 language can prove that code correctly matches specs. This capability closes off vulnerabilities and illuminates logic errors in code.


June 03, 2014
URL:http://www.drdobbs.com/jvm/using-thread-local-variables-in-java/jvm/after-heartbleed-a-look-at-languages-tha/240168236

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.