Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC

Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /

Pichardie, David.editor.(orcid)0000-0002-2504-1760https://orcid.org/0000-0002-2504-1760edthttp://id.loc.gov/vocabulary/relators/edt
Sighireanu, Mihaela.editor.(orcid)0000-0002-1925-089Xhttps://orcid.org/0000-0002-1925-089Xedthttp://id.loc.gov/vocabulary/relators/edt
SpringerLink (Online service)

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi...

Family-based model checking with mCRL2

ter Beek, M.H.
de Vink, E.P.
Willemse, T.A.C.

January 2017

Family-based model checking targets the simultaneous verfication of multiple system variants, a tech...

Glass Box Software Model Checking.

Roberson, Michael E.

Model checking is a formal verification technique that exhaustively tests a piece of hardware or sof...

Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC

ter Beek, Maurice H.
Mazzanti, Franco
Damiani, Ferruccio
Paolini, Luca
Scarso, Giordano
Valfrè, Michele
Lienhardt, Michael

February 2021

This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio D...

Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of the "Empirical Software Engineering Journal" (Springer).

ter Beek, Maurice
Damiani, Ferruccio
Lienhardt, Michael
Mazzanti, Franco
Paolini, Luca

December 2019

Examples of Features Transition Systems, and python code performing the static analysis, related to ...

Model checking lots of systems: Efficient verification of temporal properties in software product lines

Classen, Andreas
Heymans, Patrick
Schobbens, Pierre-Yves
Legay, Axel
Raskin, Jean-François

January 2010

In product line engineering, systems are developed in families and differences between family member...

Model Checking Lots of Systems

Classen, Andreas
Heymans, Patrick
Schobbens, Pierre-Yves
Legay, Axel
Raskin, Jean-François

June 2010

International audienceIn product line engineering, systems are developed in families and differences...

On Featured Transition Systems

Perrouin, Gilles
Heymans, Patrick
Legay, Axel
Devroey, Xavier
Cordy, Maxime
Schobbens, Pierre-Yves

January 2017

International audienceSoftware Product Lines (SPLs) are families of similar softwareproducts built f...

Supplementary material for: "Static Analysis of Featured Transition Systems" SPLC 2019

ter Beek, Maurice
Damiani, Ferruccio
Lienhardt, Michael
Mazzanti, Franco
Paolini, Luca

March 2019

Examples of Features Transition Systems, and python code performing the static analysis, related to ...

Combining Static Analysis and Model Checking for Software Analysis

Guillaume Brat
Willem Visser

January 2001

We present an iterative technique in which model checking and static analysis are combined to verify...

Supplementary material for: "Static Analysis of Featured Transition Systems"

ter Beek, Maurice
Damiani, Ferruccio
Lienhardt, Michael
Mazzanti, Franco
Paolini, Luca

March 2019

Examples of Features Transition Systems, and python code performing the static analysis, related to ...

Using FMC for Family-Based Analysis of Software Product Lines

Maurice H. Ter Beek
Alessandro Fantechi
Stefania Gnesi
Franco Mazzanti

December 2015

We show how the FMC model checker can successfully be used to model and analyze behavioural variabil...

Verification, Model Checking, and Abstract Interpretation

Mcmillan, Kenneth
Rival, Xavier

January 2014

International audienceThis book constitutes the refereed proceedings of the 15th International Confe...

F.: VMC: recent advances and challenges ahead

Maurice H. Ter Beek
Franco Mazzanti

January 2014

The variability model checker VMC accepts a product fam-ily specified as a Modal Transition System (...

A broader view on verification: From static to runtime and back (track summary)

Ahrendt, Wolfgang
Huisman, Marieke
Reger, G.
Rozier, Kristin Yvonne

January 2018

\ua9 Springer Nature Switzerland AG 2018. When seeking to verify a computational system one can eith...

Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /

Pichardie, David.editor.(orcid)0000-0002-2504-1760https://orcid.org/0000-0002-2504-1760edthttp://id.loc.gov/vocabulary/relators/edt
Sighireanu, Mihaela.editor.(orcid)0000-0002-1925-089Xhttps://orcid.org/0000-0002-1925-089Xedthttp://id.loc.gov/vocabulary/relators/edt
SpringerLink (Online service)

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi...

Family-based model checking with mCRL2

ter Beek, M.H.
de Vink, E.P.
Willemse, T.A.C.

January 2017

Family-based model checking targets the simultaneous verfication of multiple system variants, a tech...

Glass Box Software Model Checking.

Roberson, Michael E.

Model checking is a formal verification technique that exhaustively tests a piece of hardware or sof...

Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC

ter Beek, Maurice H.
Mazzanti, Franco
Damiani, Ferruccio
Paolini, Luca
Scarso, Giordano
Valfrè, Michele
Lienhardt, Michael

February 2021

This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio D...

Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of the "Empirical Software Engineering Journal" (Springer).

ter Beek, Maurice
Damiani, Ferruccio
Lienhardt, Michael
Mazzanti, Franco
Paolini, Luca

December 2019

Examples of Features Transition Systems, and python code performing the static analysis, related to ...

Model checking lots of systems: Efficient verification of temporal properties in software product lines

Classen, Andreas
Heymans, Patrick
Schobbens, Pierre-Yves
Legay, Axel
Raskin, Jean-François

January 2010

In product line engineering, systems are developed in families and differences between family member...

Model Checking Lots of Systems

Classen, Andreas
Heymans, Patrick
Schobbens, Pierre-Yves
Legay, Axel
Raskin, Jean-François

June 2010

International audienceIn product line engineering, systems are developed in families and differences...

On Featured Transition Systems

Perrouin, Gilles
Heymans, Patrick
Legay, Axel
Devroey, Xavier
Cordy, Maxime
Schobbens, Pierre-Yves

January 2017

International audienceSoftware Product Lines (SPLs) are families of similar softwareproducts built f...

Supplementary material for: "Static Analysis of Featured Transition Systems" SPLC 2019

ter Beek, Maurice
Damiani, Ferruccio
Lienhardt, Michael
Mazzanti, Franco
Paolini, Luca

March 2019

Examples of Features Transition Systems, and python code performing the static analysis, related to ...

Combining Static Analysis and Model Checking for Software Analysis

Guillaume Brat
Willem Visser

January 2001

We present an iterative technique in which model checking and static analysis are combined to verify...

Supplementary material for: "Static Analysis of Featured Transition Systems"

ter Beek, Maurice
Damiani, Ferruccio
Lienhardt, Michael
Mazzanti, Franco
Paolini, Luca

March 2019

Examples of Features Transition Systems, and python code performing the static analysis, related to ...

Using FMC for Family-Based Analysis of Software Product Lines

Maurice H. Ter Beek
Alessandro Fantechi
Stefania Gnesi
Franco Mazzanti

December 2015

We show how the FMC model checker can successfully be used to model and analyze behavioural variabil...

Verification, Model Checking, and Abstract Interpretation

Mcmillan, Kenneth
Rival, Xavier

January 2014

International audienceThis book constitutes the refereed proceedings of the 15th International Confe...

F.: VMC: recent advances and challenges ahead

Maurice H. Ter Beek
Franco Mazzanti

January 2014

The variability model checker VMC accepts a product fam-ily specified as a Modal Transition System (...

A broader view on verification: From static to runtime and back (track summary)

Ahrendt, Wolfgang
Huisman, Marieke
Reger, G.
Rozier, Kristin Yvonne

January 2018

\ua9 Springer Nature Switzerland AG 2018. When seeking to verify a computational system one can eith...

Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /

Pichardie, David.editor.(orcid)0000-0002-2504-1760https://orcid.org/0000-0002-2504-1760edthttp://id.loc.gov/vocabulary/relators/edt
Sighireanu, Mihaela.editor.(orcid)0000-0002-1925-089Xhttps://orcid.org/0000-0002-1925-089Xedthttp://id.loc.gov/vocabulary/relators/edt
SpringerLink (Online service)

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi...

Family-based model checking with mCRL2

ter Beek, M.H.
de Vink, E.P.
Willemse, T.A.C.

January 2017

Family-based model checking targets the simultaneous verfication of multiple system variants, a tech...

Glass Box Software Model Checking.

Roberson, Michael E.

Model checking is a formal verification technique that exhaustively tests a piece of hardware or sof...

Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC

Abstract

Extracted data

Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC

Abstract

Extracted data

Related items

Related items