141
click to vote
FORMATS
15 years 5 months ago
2004 Springer 
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
135
click to vote
FORMATS
15 years 7 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...
108
click to vote
FORMATS
15 years 7 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...
117
click to vote
FORMATS
15 years 7 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...
105
click to vote
FORMATS
15 years 7 months ago
2004 Springer 
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
|
Formal Methods