ACL2 Seminar, 2/27/2018

Speaker: Judy Altoyan

Title: UML Class Diagram Equivalence

Abstract:

Given two UML class diagrams (a.k.a. MDE metamodels) that are
syntactically different, can we prove that they are semantically
equivalent?
We are looking for formalisms to help us precisely define
and solve this problem, along with a suitable tool to assist in
proving (or disproving) their equivalence.