Conception de Procédures de Décision par Combinaison et Saturation
Beaucoup d'applications des méthodes formelles reposent sur la génération de formules en logique du premier ordre et la preuve de leur satisfiabilité par rapport à une théorie en arrière-plan, qui est souvent obtenu par mélange de plusieurs théories. Dans la littérature, cette forme de satisfia...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00580582 http://tel.archives-ouvertes.fr/docs/00/58/05/82/PDF/These-DKT.pdf |