Memory Efficient State Space Storage in Explicit Software Model Checking
Résumé
resume
Communication Dans Un Congrès
Année : 2005
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125050
Soumis le : vendredi 6 mars 2015-10:56:59
Dernière modification le : vendredi 5 août 2022-14:54:00
Dates et versions
Identifiants
- HAL Id : hal-01125050 , version 1
Citer
Jean-François Peyre, Sami Evangelista. Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN'05 12th International SPIN Workshop on Model Checking of Software, Jan 2005, X, France. pp.43-57. ⟨hal-01125050⟩
Collections
12
Consultations
0
Téléchargements