CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishWe 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.
| Titolo: | Abstraction refinement for the analysis of software product lines | |
| Autori Riconosciuti: | ||
| Autori: | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael | |
| 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. | |
| Editore: | Springer Verlag | |
| Titolo del libro: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
| Volume: | 10375 | |
| Pagina iniziale: | 3 | |
| Pagina finale: | 20 | |
| Nome del convegno: | 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017 | |
| Luogo del convegno: | deu | |
| Anno del convegno: | 2017 | |
| Digital Object Identifier (DOI): | 10.1007/978-3-319-61467-0_1 | |
| ISBN: | 9783319614663 | |
| URL: | https://link.springer.com/chapter/10.1007%2F978-3-319-61467-0_1 | |
| Parole Chiave: | Theoretical Computer Science; Computer Science (all) | |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| LNCS-TAP-2017-Damiani-et-al.pdf | Articolo principale (conferenza) | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
| TAP-2017_Damiani-EtAl-OPEN.pdf | Articolo principale (conferenza) | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2022