Proof Composition for Deductive Verification of Software Product Lines
Citations
565 citations
444 citations
128 citations
Cites background from "Proof Composition for Deductive Ver..."
...Program variants are distinguished in terms of features, which are prominent or distinctive user-visible aspects, qualities, or characteristics of a software system [2]....
[...]
...• The semantics of feature models describes valid con- figurations and can be used to derive statistics about feature models and to detect inconsistencies in feature models, e.g., dead features which are not contained in any valid configuration or false optional features which are declared as…...
[...]
79 citations
Cites methods from "Proof Composition for Deductive Ver..."
...Furthermore, we proposed proof composition for deductive verification of feature-oriented programs [34]....
[...]
74 citations
References
4,420 citations
"Proof Composition for Deductive Ver..." refers background in this paper
...A feature model [2] documents all features and the constraints between them, e....
[...]
...The program variants of an SPL are distinguished in terms of features [2]....
[...]
2,654 citations
"Proof Composition for Deductive Ver..." refers background in this paper
...A software product line (SPL) is a set of softwareintensive systems that share code [1]....
[...]
2,201 citations
"Proof Composition for Deductive Ver..." refers background or methods in this paper
...Critical requirements of programs can be specified using design by contract [8]....
[...]
...We show how the example SPL is implemented using feature-oriented programming and define how program properties are specified using design by contract [8]....
[...]
1,161 citations
"Proof Composition for Deductive Ver..." refers background in this paper
...Feature model analysis [18] aims at finding inconsistencies in feature models, e....
[...]