783 search results - page 18 / 157 » Compositional Reasoning in Model Checking |
SOCO
2005
Springer
14 years 1 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
TPHOL
2003
IEEE
14 years 29 days 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 ...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...