Title: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Subjects: Uml (computer science), Object-oriented methods (computer science), Computer software, validation, Computer software, verification