The article is focused on a model-based design and verification of reactive systems. In opposite to common approaches to developing reliable systems, at first a model of a system is constructed in high level visual language, then it is verified on this level of abstraction and consequently a low level code for target platform is generated. In approach discussed in this article an UML statechart formalism is used for construction of the model. This model is translated into Promela model and verified by the SPIN model checker. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Hýsek, J., Češka, M., & Janoušek, V. (2009). Model-based design and verification of reactive systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5717 LNCS, pp. 865–872). https://doi.org/10.1007/978-3-642-04772-5_111
Mendeley helps you to discover research relevant for your work.