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

id	todo:paper_15959362_v_n_p35_Cavatorta
record_format	dspace
spelling	todo:paper_15959362_v_n_p35_Cavatorta2023-10-03T16:27:42Z A toolsuite for the verification of real-time systems in Eclipse Cavatorta, L. De Caso, G. Ferrari, A. Braberman, V. Garbervetsky, D. Kicillof, N. Schapachnik, F. Olivero, A. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, L. De Caso, G. Ferrari, A. Braberman, V. Garbervetsky, D. Kicillof, N. Schapachnik, F. Olivero, A. 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.
format	CONF
author	Cavatorta, L. De Caso, G. Ferrari, A. Braberman, V. Garbervetsky, D. Kicillof, N. Schapachnik, F. Olivero, A.
author_facet	Cavatorta, L. De Caso, G. Ferrari, A. Braberman, V. Garbervetsky, D. Kicillof, N. Schapachnik, F. Olivero, A.
author_sort	Cavatorta, L.
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
url	http://hdl.handle.net/20.500.12110/paper_15959362_v_n_p35_Cavatorta
work_keys_str_mv	AT cavatortal atoolsuitefortheverificationofrealtimesystemsineclipse AT decasog atoolsuitefortheverificationofrealtimesystemsineclipse AT ferraria atoolsuitefortheverificationofrealtimesystemsineclipse AT brabermanv atoolsuitefortheverificationofrealtimesystemsineclipse AT garbervetskyd atoolsuitefortheverificationofrealtimesystemsineclipse AT kicillofn atoolsuitefortheverificationofrealtimesystemsineclipse AT schapachnikf atoolsuitefortheverificationofrealtimesystemsineclipse AT oliveroa atoolsuitefortheverificationofrealtimesystemsineclipse AT cavatortal toolsuitefortheverificationofrealtimesystemsineclipse AT decasog toolsuitefortheverificationofrealtimesystemsineclipse AT ferraria toolsuitefortheverificationofrealtimesystemsineclipse AT brabermanv toolsuitefortheverificationofrealtimesystemsineclipse AT garbervetskyd toolsuitefortheverificationofrealtimesystemsineclipse AT kicillofn toolsuitefortheverificationofrealtimesystemsineclipse AT schapachnikf toolsuitefortheverificationofrealtimesystemsineclipse AT oliveroa toolsuitefortheverificationofrealtimesystemsineclipse
_version_	1782027920015884288

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

Ejemplares similares