Bridging the Gap between Testing and Formal  Verification in Ada Development

Claude Marché; Johannes Kanig

Article Dans Une Revue ERCIM News Année : 2015

Bridging the Gap between Testing and Formal Verification in Ada Development

(1, 2) , (3)

1
2
3

Claude Marché

Fonction : Auteur
PersonId : 3448
IdHAL : claude-marche
ORCID : 0000-0003-3035-1269
IdRef : 069480249

Formally Verified Programs, Certified Tools and Numerical Computations

Laboratoire de Recherche en Informatique

Johannes Kanig

Fonction : Auteur

AdaCore SAS

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

Domaines

Génie logiciel [cs.SE] Langage de programmation [cs.PL]

Claude Marché : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01102242

Soumis le : lundi 12 janvier 2015-12:52:13

Dernière modification le : lundi 12 février 2024-09:52:06

Dates et versions

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

Identifiants

HAL Id : hal-01102242 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

276 Consultations

0 Téléchargements