Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Article
Dec 4 '17
Hybrid Verification: Mixing Formal Methods and Testing
Published in Stockyminds
by Ben Brosgol
The author describes how Ada code can be used in environments where formal analysis of the entire program is impractical.
Share and Enjoy:
Continue Reading
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2023
Jun 13-16, 2023
Lisbon, Portugal
View All Events