1. UML MODEL CHECKING. Authors: DAN CHIOREAN, ADRIAN CARCU, MIHAI PASCA, CRISTIAN BOTIZA, HORIA CHIOREAN, SORIN MOLDOVAN.2. DIAGRAM DESIGN IN OCL EVALUATOR. Authors: HORIA CHIOREAN.