Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking
Tree automata, and their applications to verification from the common thread of this thesis In the first part, we definie a complete model-cheking framework.[...] The second part focus on an important aspect of the automata involved: constraints.[...] Finaly, we also study the very different variety...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Université de Franche-Comté
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00909608 http://tel.archives-ouvertes.fr/docs/01/06/25/54/PDF/these_A_HUGOT_Vincent_2013.pdf |