Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Article
Mar 20 '18
You think your software works? Prove it!
Published in Embedded.com
by Ben Brosgol
The author discusses using Ada and SPARK to create a hybrid verification environment, where some of the code is proved with SPARK and the rest is tested traditionally.
Share and Enjoy:
Continue Reading
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2022
Jun 14-17, 2022
Ghent, Belgium
HILT 2022 – Supporting a Rigorous Approach to Software Development
Oct 14, 2022
Ann Arbor, Michigan
View All Events