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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00117277
Contributor : Christophe Ringeissen <>
Submitted on : Thursday, November 30, 2006 - 5:13:49 PM
Last modification on : Friday, July 6, 2018 - 3:06:09 PM

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

153