University of Hull logo

Formal verification and validation of embedded systems: the UML-based MADES approach (2013)
Journal Article
Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., …Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and systems modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z

© 2013, Springer-Verlag Berlin Heidelberg. Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have t... Read More