Issues in distributed timed model checking
In this work we present ZEUS, a distributed timed model checker that evolves from the TCTL model checker Kronos [13] and that currently can handle backwards computation of reachability properties [2] over timed automata [3]. ZEUS was developed following a software architecture-centric approach. Its...
Guardado en:
| Autores principales: | Braberman, V., Olivero, A., Schapachnik, F. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_14332779_v7_n1_p4_Braberman |
| Aporte de: |
Ejemplares similares
-
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. -
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íctor Adrián, et al.
Publicado: (2005)