Automatic Model Checking of UML models

Abstract

In the last decade, automatic model checking has evolved a lot in maturity and stability, mainly because its tools are used in the processing and control of chips. Today, there are some attempts to migrate these tools to another areas like, for example, software models checks. This work will try to be one of these attempts. 

Topics

13 Figures and Tables

Slides referencing similar topics