This paper presents the approach to the formal verification of UML-based models of timed systems developed in the MADES project. The approach differs from many current ones in that it aims at (i) being inclusive in the range of diagrams considered when producing the formal model, and (ii) adhering to the UML notation as much as possible. The metric temporal logic-based semantics developed in the project is presented through an example system. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Baresi, L., Morzenti, A., Motta, A., & Rossi, M. (2011). Towards the UML-based formal verification of timed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6957 LNCS, pp. 267–286). https://doi.org/10.1007/978-3-642-25271-6_14
Mendeley helps you to discover research relevant for your work.