Bridging the Gap between Testing and Formal Verification in Ada Development

Claude Marché 1, 2 Johannes Kanig 3
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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
Type de document :
Article dans une revue
ERCIM News, ERCIM, 2015, 100, pp.2. 〈http://ercim-news.ercim.eu/〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01102242
Contributeur : Claude Marché <>
Soumis le : lundi 12 janvier 2015 - 12:52:13
Dernière modification le : jeudi 5 avril 2018 - 12:30:22

Identifiants

  • HAL Id : hal-01102242, version 1

Collections

UMR8623 | ERCIM-NEWS | ERCIM | LRI-VALS | INRIA | CENTRALESUPELEC | UNIV-PARIS-SACLAY

Citation

Claude Marché, Johannes Kanig. Bridging the Gap between Testing and Formal Verification in Ada Development. ERCIM News, ERCIM, 2015, 100, pp.2. 〈http://ercim-news.ercim.eu/〉. 〈hal-01102242〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

366

Contact


archive-ouverte@inria.fr