2 research outputs found

    On Improving Backwards Verification of Timed Automata (Extended Abstract)

    No full text
    Verification techniques for Timed Automata [2] built in tools like Kronos [7] 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
    corecore