Speeding up model checking of timed-models by combining scenario specialization and live component analysis

The common practice for verifying properties described as event occurrence patterns is to translate them into observer state machines. The resulting observer is then composed with (the components of) the system under analysis in order to verify a reachability property. Live Component Analysis is a &...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Braberman, V., Garbervestky, D., Kicillof, N., Monteverde, D., Olivero, A.
Formato: SER
Materias:
Abstraction techniques
Component analysis
Distributed real time system
Event pattern
Occurrence pattern
Reachability
State explosion
State machine
Location
Object oriented programming
Real time systems
Time sharing systems
Model checking
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5813LNCS_n_p58_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares