Vérification de propriétés LTL sur des programmes C par génération d'annotations

Type de document :
Communication dans un congrès
M. Filali and P. Michel and C. Seguin. AFADL'09, Jan 2009, Toulouse, France. pp.65--66, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00384209
Contributeur : Nicolas Stouls <>
Soumis le : jeudi 14 mai 2009 - 16:09:37
Dernière modification le : mardi 24 avril 2018 - 13:36:07

Identifiants

  • HAL Id : inria-00384209, version 1

Collections

Citation

Julien Groslambert, Nicolas Stouls. Vérification de propriétés LTL sur des programmes C par génération d'annotations. M. Filali and P. Michel and C. Seguin. AFADL'09, Jan 2009, Toulouse, France. pp.65--66, 2009. 〈inria-00384209〉

Partager

Métriques

Consultations de la notice

51