14 search results - page 2 / 3 » cav 2001 |
CAV
2001
Springer
13 years 11 months ago
2001
Springer
CAV
2001
Springer
13 years 10 months ago
2001
Springer
CAV
2001
Springer
13 years 10 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
CAV
2001
Springer
13 years 11 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
CAV
2001
Springer
13 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...