@inproceedings{140836fae42040e696efa4393e675e1c,
title = "Direct model-checking of SysML models",
abstract = "Model-checking intends to verify whether a property is satisfied by a model, or not. 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. The paper first explains how this model-checker works. Then, we explain how it can efficiently check CTL-like properties. Finally, the paper discusses the performance of this model-checker integrated in the TTool framework.",
keywords = "Embedded systems, Formal verification, Model-checking, SysML",
author = "Calvino, \{Alessandro Tempia\} and Ludovic Apvrille",
note = "Publisher Copyright: Copyright {\textcopyright} 2021 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.; 9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 ; Conference date: 08-02-2021 Through 10-02-2021",
year = "2021",
month = jan,
day = "1",
language = "English",
series = "MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development",
publisher = "SciTePress",
pages = "216--223",
editor = "Slimane Hammoudi and Pires, \{Luis Ferreira\} and Edwin Seidewitz and Richard Soley",
booktitle = "MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development",
}