From Static Analysis to Runtime Verification with Frama-C and E-ACSL

Julien Signoles

Hdr Année : 2018

From Static Analysis to Runtime Verification with Frama-C and E-ACSL

(1)

1

Julien Signoles

Fonction : Auteur
PersonId : 1354930
IdHAL : signoles-julien
ORCID : 0000-0001-9266-0820

Laboratoire Sûreté des Logiciels

Mots clés

Runtime Assertion Checking Static Analysis Program Verification Runtime Verification

Vérification à l'exécution Analyse statique

Domaines

Informatique [cs]

Fichier principal

hdr.pdf (4.02 Mo)

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

Julien Signoles : Connectez-vous pour contacter le contributeur

https://cea.hal.science/tel-04469397

Soumis le : mardi 20 février 2024-17:56:48

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

Dates et versions

tel-04469397 , version 1 (20-02-2024)

Identifiants

HAL Id : tel-04469397 , version 1

Citer

Julien Signoles. From Static Analysis to Runtime Verification with Frama-C and E-ACSL. Computer Science [cs]. Université Paris Sud (Paris 11), 2018. ⟨tel-04469397⟩

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

11 Consultations

20 Téléchargements

From Static Analysis to Runtime Verification with Frama-C and E-ACSL

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager