Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
Kodetzki, Maximilian
1; Bordis, Tabea 1; Runge, Tobias 1; Schaefer, Ina 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Bordis, Tabea 1; Runge, Tobias 1; Schaefer, Ina 11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 07.02.2024 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-4007-0877-0 KITopen-ID: 1000168196 |
| Erschienen in | VaMoS '24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems. Ed.: T.Kehrer |
| Veranstaltung | 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024), Bern, Schweiz, 07.02.2024 – 09.02.2024 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 17–26 |
| Nachgewiesen in | Scopus Dimensions |