14 search results - page 2 / 3 » cav 2001 |
CAV
2001
Springer
14 years 2 months ago
2001
Springer
CAV
2001
Springer
14 years 1 months ago
2001
Springer
CAV
2001
Springer
14 years 1 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
14 years 2 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
14 years 2 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...