Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation

Becker, Basil; Beyer, Dirk; Giese, Holger; Klein, Florian; Schilling, Daniela

by Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling

Reference:

Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling), In Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006.

Bibtex Entry:

@InProceedings{GSKBB06,
  AUTHOR = {Becker, Basil and Beyer, Dirk and Giese, Holger and Klein,
  Florian and Schilling, Daniela},
  TITLE = {{Symbolic Invariant Verification for Systems with Dynamic
  Structural Adaptation}},
  YEAR = {2006},
  BOOKTITLE = {Proc. of the 28th International Conference on Software
  Engineering (ICSE), Shanghai, China},
  PUBLISHER = {ACM Press},
}