410 search results - page 1 / 82 » Tool Support for Invariant Based Programming |
APSEC
2005
IEEE
14 years 10 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
ATVA
2008
Springer
14 years 6 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
ECOOPW
1999
Springer
14 years 9 months ago
1999
Springer
IEEEPACT
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...