Skip to Main content Skip to Navigation
Journal articles

Bridging the Gap between Testing and Formal Verification in Ada Development

Abstract : Recent technological advances in formal deductive verification are benefiting industry users of programming language “Ada”. Mathematical proof complements existing test activities whilst reducing costs
Complete list of metadata

https://hal.inria.fr/hal-01102242
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Monday, January 12, 2015 - 12:52:13 PM
Last modification on : Thursday, July 8, 2021 - 3:49:23 AM

Identifiers

  • HAL Id : hal-01102242, version 1

Citation

Claude Marché, Johannes Kanig. Bridging the Gap between Testing and Formal Verification in Ada Development. ERCIM News, ERCIM, 2015, 100, pp.2. ⟨hal-01102242⟩

Share

Metrics

Record views

484