Bridging the Gap between Testing and Formal Verification in Ada Development - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ERCIM News Year : 2015

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
No file

Dates and versions

hal-01102242 , version 1 (12-01-2015)

Identifiers

  • HAL Id : hal-01102242 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More