Exploring Fosdem 2014 Contract Based Programming In Ada 2012
Exploring Fosdem 2014 Contract Based Programming In Ada 2012 reveals several interesting facts.
- SPARK
- Prove with SPARK: No Math, Just Code How to prove key properties of Tetris and run it on ARM Cortex M by Yannick Moy At: ...
- by Dirk Craeynest At:
- by Jean-Pierre Rosen At:
- by Jean-Pierre Rosen At:
In-Depth Information on Fosdem 2014 Contract Based Programming In Ada 2012
Contract Based Programming in Ada 2012 by Jacob Sparre Andersen At: Formal Verification with Introduction to
FOSDEM 2014
Stay tuned for more updates related to Fosdem 2014 Contract Based Programming In Ada 2012.