Hypervolume approximation in timed automata model checking

Difference Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like KRONOS or UPPAAL. As DBMs represent convex polyhedra in an n-dimensional space, this paper explores the idea of using its hypervolume...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Braberman, V., Obes, J.L., Olivero, A., Schapachnik, F.
Formato: SER
Materias:
Automata theory
Computer aided software engineering
Data structures
Verification
Difference Bound Matrices
Hypervolume approximation
Timed automata
Model checking
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v4763LNCS_n_p69_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares