INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
Título:
A Toolsuite for the Verification of Real- Time Systems in Eclipse
Autor/es:
LUCÍA CAVATORTA; GUIDO DE CASO; ANDRÉS FERARI; VÍCTOR A. BRABERMAN; DIEGO GARBERVETSKY; NICOLAS KICILLOF; FERNANDO SCHAPACHNIK; ALFREDO OLIVERO
Lugar:
Portland, EEUU
Reunión:
Workshop; Eclipse Technology Exchange; 2006
Institución organizadora:
ACM
Resumen:
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.
