@inproceedings{d0c9e22afd064cedba99225e93121d5c,
title = "Cooperation-based invariants for OO languages",
abstract = "In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports modular verification. To this end, dependencies are made explicit by cooperation. In particular, invariants expressing non-hierarchical object relations are supported. Furthermore, an inc-set allows a method to specify explicitly that it does not depend on the validity of a certain invariant. This way, it can be called even when that invariant is violated.",
author = "R. Middelkoop and C. Huizing and R. Kuiper and E.J. Luit",
year = "2006",
doi = "10.1016/j.entcs.2006.05.025",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "225--237",
editor = "Z. Liu and L. Barbosa",
booktitle = "Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05, Macao, October 24-25, 2005)",
}