Runtime assertion checking and static verification: Collaborative partners

Fonenantsoa Maurica; David R. Cok; Julien Signoles

doi:10.1007/978-3-030-03421-4_6

Article Dans Une Revue Lecture Notes in Computer Science Année : 2018

Runtime assertion checking and static verification: Collaborative partners

, (1) , (2)

1
2

Fonenantsoa Maurica

Fonction : Auteur

David R. Cok

Fonction : Auteur

Université Paris-Saclay, CEA, List

Julien Signoles

Fonction : Auteur

Laboratoire Sûreté des Logiciels

Domaines

Génie logiciel [cs.SE]

Fichier principal

2018_isola.pdf (380.5 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Contributeur MAP CEA : Connectez-vous pour contacter le contributeur

https://cea.hal.science/cea-04477117

Soumis le : lundi 26 février 2024-10:00:16

Dernière modification le : mercredi 3 avril 2024-11:14:11

Dates et versions

cea-04477117 , version 1 (26-02-2024)

Identifiants

HAL Id : cea-04477117 , version 1
DOI : 10.1007/978-3-030-03421-4_6

Citer

Fonenantsoa Maurica, David R. Cok, Julien Signoles. Runtime assertion checking and static verification: Collaborative partners. Lecture Notes in Computer Science, 2018, 11245 (Part 2), pp.75-91. ⟨10.1007/978-3-030-03421-4_6⟩. ⟨cea-04477117⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA DRT CEA-UPSAY UNIV-PARIS-SACLAY LIST GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT

3 Consultations

5 Téléchargements

Runtime assertion checking and static verification: Collaborative partners

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager