Debugging UML Designs with Model Checking

By: María del Mar Gallardo, Pedro Merino, Ernesto Pimentel

Abstract

This paper presents rules to integrate model checking into UML-based designs, showing its usefulness from a practical point of view, and giving some guidelines to exploit the benefits of the integration.

Cite as:

María del Mar Gallardo, Pedro Merino, Ernesto Pimentel, “Debugging UML Designs with Model Checking”, Journal of Object Technology, Volume 1, no. 2 (July 2002), pp. 101-117, doi:10.5381/jot.2002.1.2.a1.