Technology PhD Thesis defense: Lightweight and Static verification of UML Executable Models

1.Lightweight and Static Verification ofUML Executable Models a PhD thesis byElena PlanasAdvised by: Dr. Jordi Cabot and Dra. Cristina Gómez21st March, 20132. what is the…