Zeus: A distributed timed model-checker based on Kronos

Mostrar todas las versiones(3)

In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTL-reachability properties [1] over timed-automata [2]. Zeus was developed following a software architecture centric approach. It introduces some i...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Braberman, V., Olivero, A., Schapachnik, F.
Formato: Artículo publishedVersion
Lenguaje:Inglés
Publicado: 2002
Materias:
Automata theory
Computation theory
Computer architecture
Computer software
Graph theory
Mathematical models
Matrix algebra
Problem solving
Program processors
Real time systems
Set theory
Distributed timed model-checker
Model-checking
Time-consuming tasks
Timed automata
Distributed computer systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_15710661_v68_n4_p503_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares