Towards modular verification of software product lines with mCRL2

M.H. Beek, ter, E.P. Vink, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)
3 Downloads (Pure)

Samenvatting

We introduce by means of an example a modular verification technique for analyzing the behavior of software product lines using the mCRL2 toolset. Based on feature-driven borders, we divide a behavioral model of a product line into a set of separate components with interfaces and a driver process to coordinate them. Abstracting from irrelevant components, we verify properties over a smaller behavioral model, which not only simplifies the model checking task but also makes the result amenable for reuse. This is a fundamental step forward for the approach to scale up to industrial-size product lines.
Originele taal-2Engels
TitelLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I)
RedacteurenT. Margaria, B. Steffen
Plaats van productieBerlin
UitgeverijSpringer
Pagina's368-385
ISBN van geprinte versie978-3-662-45233-2
DOI's
StatusGepubliceerd - 2014
Evenement6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014) - Corfu, Griekenland
Duur: 8 okt 201411 okt 2014
Congresnummer: 6

Publicatie series

NaamLecture Notes in Computer Science
Volume8802
ISSN van geprinte versie0302-9743

Congres

Congres6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)
Verkorte titelISoLA 2014
Land/RegioGriekenland
StadCorfu
Periode8/10/1411/10/14
Ander6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Vingerafdruk

Duik in de onderzoeksthema's van 'Towards modular verification of software product lines with mCRL2'. Samen vormen ze een unieke vingerafdruk.

Citeer dit