Formal verification of legacy code after 10 years of production use Posted by alexamici on Sunday March 13, 2016 @04:38AM from the blog.adacore.com dept. http://blog.adacore.com/formal-verification-of-legacy-code ( no comments | 2 points | on HN )
There are no comments yet.