@inproceedings{32271e2ae8234607b460b9c6e3b223c5,
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: {\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",
doi = "10.5220/0010256302160223",
language = "English",
isbn = "9789897584879",
series = "International Conference on Model-Driven Engineering and Software Development",
publisher = "Science and Technology Publications, Lda",
pages = "216--223",
editor = "Edwin Seidewitz and \{Ferreira Pires\}, Lu{\'i}s and Slimane Hammoudi",
booktitle = "MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development",
}