Specification and verification of invariants by exploiting layers in OO designs

R. Middelkoop, C. Huizing, R. Kuiper, E.J. Luit

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

Abstract

The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and introduce a new interpretation of invariants that exploits these layers. Furthermore, we present a sound, modular technique to statically verify that programs satisfy the new interpretation.
Original languageEnglish
Pages (from-to)377-398
JournalFundamenta Informaticae
Volume85
Issue number1-4
Publication statusPublished - 2008

Fingerprint Dive into the research topics of 'Specification and verification of invariants by exploiting layers in OO designs'. Together they form a unique fingerprint.

  • Cite this