Regular hedge model checking

We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Con gurations of a system are represented by trees of arbitrary arities, sets of con gurations are represented by regular hedge automata, and the dynamics of a system is modeled by...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: D'Orso, Julien, Touili, Tayssir
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Model checking
Frameworks
Mutual exclusion
Trees
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24400
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares