1796 search results - page 31 / 360 » An Approach to Compositional Model Checking |
INFORMATIKTAGE
2008
15 years 3 months ago
2008
98
Voted
JISE
2008
15 years 2 months ago
2008
119
Voted
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 ...
151
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...
116
click to vote
SIGSOFT
2010
ACM
15 years 11 days 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...