Automatic Model Checking of UML models


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. 


13 Figures and Tables

Slides referencing similar topics