Bridging the Gap between Testing and Formal Verification in Ada Development
Résumé
Recent technological advances in formal deductive
verification are benefiting industry users of
programming language “Ada”. Mathematical proof
complements existing test activities whilst reducing
costs