Abstract: Context: The evolution of citizens' life in cities in ... Modeling Language (UML 2.x) which allows us to design both structural and behavioral aspects. Results: In this work, we put the ...

Abstract: Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification ...