Article Aug 4 '13

SPARK 2014: Why I am backing a predictable winner

Published in Emebedded.com by Stuart Matthews
Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS
Continue Reading
Tags Ada 2012SafetySecuritySPARKStatic Analysis