4502 search results - page 119 / 901 » Regular Model Checking |
78
Voted
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
135
click to vote
COMPOS
1997
Springer
15 years 5 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
105
click to vote
ACSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
102
Voted
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
CAV
2001
Springer
15 years 4 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...