State Space Reduction Strategie for Model Checking Concurrent C Programs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

State Space Reduction Strategie for Model Checking Concurrent C Programs

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 : jeudi 28 novembre 2024-15:34:02

Fichier non déposé

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
216 Consultations
0 Téléchargements

Partager

More