Skip to Main content Skip to Navigation
Conference papers

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 (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00117277
Contributor : Christophe Ringeissen Connect in order to contact the contributor
Submitted on : Thursday, November 30, 2006 - 5:13:49 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM

Links full text

Identifiers

Citation

David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. Decision Procedures for the Formal Analysis of Software. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, pp.366--370, ⟨10.1007/11921240_26⟩. ⟨inria-00117277⟩

Share

Metrics

Record views

254