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 $28^th$ International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006.

Bibtex Entry:

@InProceedings{GSKBB06_1,
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 $28^th$ International Conference on Software Engineering (ICSE), Shanghai, China},
PUBLISHER = {ACM Press}
}