Efficient family-based model checking via variability abstractions

Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wąsowski

doi:10.1007/s10009-016-0425-2

Efficient family-based model checking via variability abstractions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-016-0425-2 ◽

2016 ◽

Vol 19 (5) ◽

pp. 585-603 ◽

Cited By ~ 14

Author(s):

Aleksandar S. Dimovski ◽

Ahmad Salim Al-Sibahi ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Family Based ◽

Variability Abstractions

Download Full-text

$$\hbox {CTL}^{\star }$$ family-based model checking using variability abstractions and modal transition systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-019-00528-0 ◽

2019 ◽

Vol 22 (1) ◽

pp. 35-55 ◽

Cited By ~ 2

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Model Checking ◽

Transition Systems ◽

Modal Transition Systems ◽

Family Based ◽

Variability Abstractions

Download Full-text

Family-Based Model Checking Without a Family-Based Model Checker

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_18 ◽

2015 ◽

pp. 282-299 ◽

Cited By ~ 18

Author(s):

Aleksandar S. Dimovski ◽

Ahmad Salim Al-Sibahi ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Model Checker ◽

Family Based

Download Full-text

Family-Based SPL Model Checking Using Parity Games with Variability

10.26226/morressier.604907f41a80aac83ca25d2a ◽

2021 ◽

Author(s):

Tim Willemse

Keyword(s):

Model Checking ◽

Parity Games ◽

Family Based

Download Full-text

Variability-Specific Abstraction Refinement for Family-Based Model Checking

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54494-5_24 ◽

2017 ◽

pp. 406-423 ◽

Cited By ~ 11

Author(s):

Aleksandar S. Dimovski ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Abstraction Refinement ◽

Family Based

Download Full-text

Family-Based SPL Model Checking Using Parity Games with Variability

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_12 ◽

2020 ◽

pp. 245-265

Author(s):

Maurice H. ter Beek ◽

Sjef van Loo ◽

Erik P. de Vink ◽

Tim A. C. Willemse

Keyword(s):

Model Checking ◽

Parity Games ◽

Family Based

Download Full-text

Family-based model checking using off-the-shelf model checkers

Proceedings of the 19th International Conference on Software Product Line - SPLC '15 ◽

10.1145/2791060.2791119 ◽

2015 ◽

Cited By ~ 1

Author(s):

Aleksandar S. Dimovski ◽

Ahmad Salim Al-Sibahi ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Family Based

Download Full-text

Static analysis and family-based model checking of featured transition systems with VMC

10.1145/3461002.3473071 ◽

2021 ◽

Author(s):

Maurice H. ter Beek ◽

Franco Mazzanti ◽

Ferruccio Damiani ◽

Luca Paolini ◽

Giordano Scarso ◽

...

Keyword(s):

Model Checking ◽

Static Analysis ◽

Transition Systems ◽

Family Based

Download Full-text

Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL$$^{\star }$$⋆

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89363-1_17 ◽

2018 ◽

pp. 301-318 ◽

Cited By ~ 5

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Model Checking ◽

Transition Systems ◽

Family Based

Download Full-text

Family-Based Model Checking with mCRL2

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54494-5_23 ◽

2017 ◽

pp. 387-405 ◽

Cited By ~ 14

Author(s):

Maurice H. ter Beek ◽

Erik P. de Vink ◽

Tim A. C. Willemse

Keyword(s):

Model Checking ◽

Family Based

Download Full-text

Family-Based Model Checking of SPL based on mCRL2

Proceedings of the 21st International Systems and Software Product Line Conference - Volume B on ZZZ - SPLC '17 ◽

10.1145/3109729.3109758 ◽

2017 ◽

Cited By ~ 1

Author(s):

Ziad Ben Snaiba ◽

Erik P. de Vink ◽

Tim A.C. Willemse

Keyword(s):

Model Checking ◽

Family Based

Download Full-text