1. UML MODEL CHECKING. Authors: DAN CHIOREAN, ADRIAN CARCU, MIHAI PASCA, CRISTIAN BOTIZA, HORIA CHIOREAN, SORIN MOLDOVAN.