Fine-Grained Model Slicing for Rebel

Renate Eilers, J. Hage, Wishnu Prasetya, Joost Bosman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)


In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing us to verify larger problem instances and with higher path bounds than with unsliced models. For small and shallow instances, however, the overhead of slicing dominates verification time, and slicing should not be resorted to.
Original languageEnglish
Title of host publication18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)
Number of pages10
ISBN (Electronic)9781538682906
Publication statusPublished - 12 Nov 2018


Dive into the research topics of 'Fine-Grained Model Slicing for Rebel'. Together they form a unique fingerprint.

Cite this