Proof Composition for Deductive Verification of Software Product Lines - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. Proof Composition for Deductive Verification of Software Product Lines. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011.

The following publications are possibly variants of this publication:

Family-Based Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Sven Apel, Martin Hentschel. In International Conference on Generative Programming and Component Engineering. 2012: 11-20

Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. icst 2011: 270-277 [doi]

Model Superimposition in Software Product LinesSven Apel, Florian Janda, Salvador Trujillo, Christian Kästner. In Proceedings of the Second International Conference on Model Transformation (ICMT). 2009: [doi]

runs on WebDSL