Logico-Numerical Verification Methods for Discrete and Hybrid Systems
Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interpréta...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012GRENM082/document |