Basil Becker, Holger Giese. Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. In 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L Aquila, Italy. pages 33-40, IEEE, 2008. [doi]
Abstract is missing.