Author:
Bubel Richard,Damiani Ferruccio,Hähnle Reiner,Johnsen Einar Broch,Owe Olaf,Schaefer Ina,Yu Ingrid Chieh
Publisher
Springer International Publishing
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07
2. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines;Journal of Computer Languages;2022-06
3. Verification Strategies for Feature-Oriented Software Product Lines;Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems;2022-02-23
4. A Framework for Flexible Program Evolution and Verification of Distributed Systems;Communications in Computer and Information Science;2020
5. On Slicing Software Product Line Signatures;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020