Skip to Main content Skip to Navigation
Theses

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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, January 15, 2021 - 3:24:33 AM
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

369

Files downloads

437