Data di Pubblicazione:
2017
Abstract:
We generalize the principle of counter example-guided data abstraction refinement (CEGAR) to guided refinement of Software Product Lines (SPL) and of analysis tools. We also add a problem decomposition step. The result is a framework for formal SPL analysis via guided refinement and divide-and-conquer, through sound orchestration of multiple tools.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Theoretical Computer Science; Computer Science (all)
Elenco autori:
Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: