State Space Reduction Strategie for Model Checking Concurrent C Programs - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Communication Dans Un Congrès Année : 2015

State Space Reduction Strategie for Model Checking Concurrent C Programs

(1) , (1) , (1) , (2, 3) , (4)

1
2
3
4

Amira Methni

Fonction : Auteur
PersonId : 13349
IdHAL : amiramethni
ORCID : 0000-0003-2062-3451
IdRef : 197214169

Commissariat à l'énergie atomique et aux énergies alternatives

Matthieu Lemerre

Fonction : Auteur

Commissariat à l'énergie atomique et aux énergies alternatives

Belgacem Ben Hedia

Fonction : Auteur
PersonId : 749765
IdHAL : belgacem-ben-hedia
ORCID : 0000-0003-1367-8542
IdRef : 143359169

Commissariat à l'énergie atomique et aux énergies alternatives

Serge Haddad

Fonction : Auteur
PersonId : 745039
IdHAL : serge-haddad
ORCID : 0000-0002-1759-1201
IdRef : 032657501

Modeling and Exploitation of Interaction and Concurrency

Laboratoire Spécification et Vérification [Cachan]

Kamel Barkaoui

Fonction : Auteur
PersonId : 182238
IdHAL : kamel-barkaoui

Centre d'études et de recherche en informatique et communications

Domaines

Théorie et langage formel [cs.FL]

Benedikt Bollig : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01242951

Soumis le : lundi 14 décembre 2015-13:04:18

Dernière modification le : mercredi 3 avril 2024-10:20:13

Dates et versions

hal-01242951 , version 1 (14-12-2015)

Identifiants

HAL Id : hal-01242951 , version 1

Citer

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. State Space Reduction Strategie for Model Checking Concurrent C Programs. 9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76. ⟨hal-01242951⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA CNRS INRIA ENS-CACHAN CNAM INRIA2 UNIV-PARIS-SACLAY CEDRIC-CNAM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE HESAM

187 Consultations

0 Téléchargements

Partager