Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
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:
Continue Reading
Tags
Ada 2012
Safety
Security
SPARK
Static Analysis
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2023
Jun 13-16, 2023
Lisbon, Portugal
View All Events