Combination Methods for Verification Problems

Daniele Zucchelli 1
1 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
Abstract : The thesis applies combination techniques for constraint satisfiability to infinite-state model checking problem.
Document type :
Theses
Complete list of metadatas

Cited literature [136 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00329849
Contributor : Michaël Rusinowitch <>
Submitted on : Monday, October 13, 2008 - 3:11:57 PM
Last modification on : Friday, July 6, 2018 - 3:06:09 PM
Long-term archiving on : Monday, June 7, 2010 - 7:31:45 PM

Identifiers

  • HAL Id : tel-00329849, version 1

Citation

Daniele Zucchelli. Combination Methods for Verification Problems. Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English. ⟨tel-00329849⟩

Share

Metrics

Record views

326

Files downloads

303