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
id paper:paper_15959362_v_n_p35_Cavatorta
record_format dspace
spelling paper:paper_15959362_v_n_p35_Cavatorta2023-06-08T16:24:55Z A toolsuite for the verification of real-time systems in Eclipse Cavatorta, Lucía Irene de Caso, Guido Braberman, Víctor Adrián Garbervetsky, Diego Kicillof, Nicolás Schapachnik, Fernando Pablo Eclipse plug-in LAPSUS OBSSLICE Timed automata Timed model checking Verification VTS ZEUS Computer aided software engineering Data structures Large scale systems Model checking Timed automata Timed model checking Real time systems 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. Fil:Cavatorta, L. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Kicillof, N. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2006 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
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Eclipse plug-in
LAPSUS
OBSSLICE
Timed automata
Timed model checking
Verification
VTS
ZEUS
Computer aided software engineering
Data structures
Large scale systems
Model checking
Timed automata
Timed model checking
Real time systems
spellingShingle Eclipse plug-in
LAPSUS
OBSSLICE
Timed automata
Timed model checking
Verification
VTS
ZEUS
Computer aided software engineering
Data structures
Large scale systems
Model checking
Timed automata
Timed model checking
Real time systems
Cavatorta, Lucía Irene
de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
Kicillof, Nicolás
Schapachnik, Fernando Pablo
A toolsuite for the verification of real-time systems in Eclipse
topic_facet Eclipse plug-in
LAPSUS
OBSSLICE
Timed automata
Timed model checking
Verification
VTS
ZEUS
Computer aided software engineering
Data structures
Large scale systems
Model checking
Timed automata
Timed model checking
Real time systems
description 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.
author Cavatorta, Lucía Irene
de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
Kicillof, Nicolás
Schapachnik, Fernando Pablo
author_facet Cavatorta, Lucía Irene
de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
Kicillof, Nicolás
Schapachnik, Fernando Pablo
author_sort Cavatorta, Lucía Irene
title A toolsuite for the verification of real-time systems in Eclipse
title_short A toolsuite for the verification of real-time systems in Eclipse
title_full A toolsuite for the verification of real-time systems in Eclipse
title_fullStr A toolsuite for the verification of real-time systems in Eclipse
title_full_unstemmed A toolsuite for the verification of real-time systems in Eclipse
title_sort toolsuite for the verification of real-time systems in eclipse
publishDate 2006
url 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
work_keys_str_mv AT cavatortaluciairene atoolsuitefortheverificationofrealtimesystemsineclipse
AT decasoguido atoolsuitefortheverificationofrealtimesystemsineclipse
AT brabermanvictoradrian atoolsuitefortheverificationofrealtimesystemsineclipse
AT garbervetskydiego atoolsuitefortheverificationofrealtimesystemsineclipse
AT kicillofnicolas atoolsuitefortheverificationofrealtimesystemsineclipse
AT schapachnikfernandopablo atoolsuitefortheverificationofrealtimesystemsineclipse
AT cavatortaluciairene toolsuitefortheverificationofrealtimesystemsineclipse
AT decasoguido toolsuitefortheverificationofrealtimesystemsineclipse
AT brabermanvictoradrian toolsuitefortheverificationofrealtimesystemsineclipse
AT garbervetskydiego toolsuitefortheverificationofrealtimesystemsineclipse
AT kicillofnicolas toolsuitefortheverificationofrealtimesystemsineclipse
AT schapachnikfernandopablo toolsuitefortheverificationofrealtimesystemsineclipse
_version_ 1768544521408217088

Ejemplares similares