12981 search results - page 176 / 2597 » Model Checking (Abstract) |
CAV
2001
Springer
15 years 6 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...
148
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
140
click to vote
ENTCS
2008
15 years 1 months ago
2008
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
153
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
122
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...