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...
Guardado en:
| Autores principales: | Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A. |
|---|---|
| Formato: | CONF |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_15959362_v_n_p35_Cavatorta |
| Aporte de: |
Ejemplares similares
-
A toolsuite for the verification of real-time systems in Eclipse
por: Cavatorta, Lucía Irene, et al.
Publicado: (2006) -
Issues in distributed timed model checking
por: Braberman, V., et al. -
Issues in distributed timed model checking
por: Braberman, Víctor Adrián, et al.
Publicado: (2005) -
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
por: Braberman, V., et al.
Publicado: (2005) -
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
por: Braberman, V., et al.