Improving the verification of timed systems using influence information

The parallel composition with observers is a well-known approach to check or test properties over formal models of concurrent and real-time systems. We present a newtechnique to reduce the size of the resulting model. Our approach has been developed for a formalism based on Timed Automata. Firstly,...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Braberman, V., Garbervetsky, D., Olivero, A.
Formato: SER
Materias:
Optimized models
Original model
Parallel composition
Relevant components
State-space reduction
Timed Automata
Timed systems
Verification tools
Algorithms
Automata theory
Real time systems
Time sharing systems
Tools
Information use
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v2280LNCS_n_p21_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares