A toolsuite for the verification of real-time systems in Eclipse

In this work we present an Eclipse plug-in for the VINTIME (Verifier of INtegrated TImed ModEls) suite of tools that combines high-level expressive power, unassisted property-preserving model reduction and distributed model checking to describe and verify complex real-time system designs and their p...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.
Formato: CONF
Materias:
Eclipse plug-in
LAPSUS
OBSSLICE
Timed automata
Timed model checking
Verification
VTS
ZEUS
Computer aided software engineering
Data structures
Large scale systems
Model checking
Real time systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_15959362_v_n_p35_Cavatorta
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario:In this work we present an Eclipse plug-in for the VINTIME (Verifier of INtegrated TImed ModEls) suite of tools that combines high-level expressive power, unassisted property-preserving model reduction and distributed model checking to describe and verify complex real-time system designs and their properties. © 2006 ACM.

Ejemplares similares