discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Proving the Ghost Common Divisor (GCD) in SPARK
http://www.spark-2014.org/entries/detail/gnatprove-tips-and-tricks-proving-the-ghost-common-denominator-gcd
12 comments
4/5/2017
formalmethods , programming
Reddit
Using SPARK to Prove Absence of Run-Time Errors (AoRTE) in Robot Navigation Software
http://www.spark-2014.org/entries/detail/using-spark-to-prove-aorte-in-robot-navigation-software
11 comments
27/8/2014
programming