Reasoning about static and dynamic properties in alloy: A purely relational approach

Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum. Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Transactions on Software Engineering Methodology, 14(4):478-526, 2005. [doi]

Abstract

Abstract is missing.