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, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando Pablo |
|---|---|
| Publicado: |
2006
|
| Materias: | |
| 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: |
Ejemplares similares
-
A toolsuite for the verification of real-time systems in Eclipse
por: Cavatorta, L., et al. -
Issues in distributed timed model checking
por: Braberman, Víctor Adrián, et al.
Publicado: (2005) -
Issues in distributed timed model checking
por: Braberman, V., et al. -
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
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)