Direct model-checking of SysML models

Published in 9th International Conference on Model-Driven Engineering and Software Development, 2021

Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a new model-checker that can be applied (almost) directly to the SysML model.

This work was awarded with the MODELSWARD 2021 best poster award.

Download paper here