FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
FORMATS
2004
Springer
14 years 5 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...