1796 search results - page 31 / 360 » An Approach to Compositional Model Checking |
INFORMATIKTAGE
2008
15 years 3 months ago
2008
JISE
2008
15 years 1 months ago
2008
115
click to vote
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
142
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
112
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...