3 ms·
Ada / SPARK can do that. Ada has had some form of that analyses since the first version from 1983. https://learn.adacore.com/courses/intro-to-spark/chapters/03
by henrikeh 4y ago
Ada / SPARK can do that. Ada has had some form of that analyses since the first version from 1983.
https://learn.adacore.com/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.html#contracts https://learn.adacore.com/courses/intro-to-spark/chapters/03...