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, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando Pablo
Publicado: 2006
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:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959362_v_n_p35_Cavatorta
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