Skip to Main content Skip to Navigation
New interface
Journal articles

Bridging the Gap between Testing and Formal Verification in Ada Development

Claude Marché 1, 2 Johannes Kanig 3 
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
2 LRI - Laboratoire de Recherche en Informatique
3 AdaCore SAS - AdaCore SAS
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
Document type :
Journal articles
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 : Tuesday, October 25, 2022 - 4:21:52 PM

Identifiers

  • HAL Id : hal-01102242, version 1

Collections

CNRS | INRIA | UMR8623 | ERCIM | ERCIM-NEWS | CENTRALESUPELEC | INRIA2 | LRI-VALS | UNIV-PARIS-SACLAY | ANR | GS-COMPUTER-SCIENCE

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

255

 

Contact                    Legal Notice                    Personal Data