Decision Procedures for the Formal Analysis of Software

David Déharbe 1 Pascal Fontaine 2 Silvio Ranise 3 Christophe Ringeissen 3
2 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, Springer, 4281, pp.366--370, 2006, Lecture Notes in Computer Science. 〈10.1007/11921240_26〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00117277
Contributeur : Christophe Ringeissen <>
Soumis le : jeudi 30 novembre 2006 - 17:13:49
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Identifiants

Citation

David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. Decision Procedures for the Formal Analysis of Software. Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, Springer, 4281, pp.366--370, 2006, Lecture Notes in Computer Science. 〈10.1007/11921240_26〉. 〈inria-00117277〉

Partager

Métriques

Consultations de la notice

130