783 search results - page 10 / 157 » Compositional Reasoning in Model Checking |
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
LICS
1992
IEEE
13 years 11 months ago
1992
IEEE
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
ASE
2011
13 years 2 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...