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 2024
Jun 11-14, 2024
Barcelona, Spain
View All Events