INVESTIGADORES
LOPEZ POMBO Carlos Gustavo
artículos
Título:
On Improving Backwards Verification for Timed Automata
Autor/es:
BRABERMAN, VICTOR; LOPEZ POMBO, CARLOS GUSTAVO; OLIVERO, ALFREDO
Revista:
Electronic notes in theoretical computer science
Editorial:
Elsevier B.V.
Referencias:
Año: 2002 vol. 65 p. 1 - 8
ISSN:
1571-0661
Resumen:
Verification techniques for Timed Automata built in tools like Kronos are based on the fixpoint calculus of an appropriate operator. In this work, we present different alternatives to calculate that fixpoint, which have direct impact in the number of iterations needed to converge.
