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
231 citations
"Proof Composition for Deductive Ver..." refers methods in this paper
...Our approach is compatible with languages and tools that use superimposition [14]....
[...]
181 citations
Additional excerpts
...and annotation-based product lines [26], [27]....
[...]
158 citations
"Proof Composition for Deductive Ver..." refers background in this paper
...In [20], the process calculus CCS is extended with a variant operator to represent a family of processes....
[...]
149 citations
119 citations
"Proof Composition for Deductive Ver..." refers background in this paper
...Product-line–aware type systems were proposed for feature-oriented [24], [25]...
[...]