Symbolic invariant verification for systems with dynamic structural adaptation.

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

Browse the full ICSE paper archive.