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.
Abstraction refinement for the analysis of software product lines
DAMIANI, Ferruccio;LIENHARDT, Michael
2017-01-01
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LNCS-TAP-2017-Damiani-et-al.pdf
Accesso riservato
Descrizione: Articolo principale (conferenza)
Tipo di file:
PDF EDITORIALE
Dimensione
1.46 MB
Formato
Adobe PDF
|
1.46 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
TAP-2017_Damiani-EtAl-OPEN.pdf
Open Access dal 19/06/2018
Descrizione: Articolo principale (conferenza)
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
642.51 kB
Formato
Adobe PDF
|
642.51 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
