Temporal logic model checking in alloy
ABZ, pp. 150-163, 2012.
The declarative and relational aspects of Alloy make it a desirable language to use for high-level modeling of transition systems. However, currently, these models must be translated to another tool to carry out full temporal logic model checking. In this article, we show how a symbolic representation of the semantics of computational tre...More
Full Text (Upload PDF)
PPT (Upload PPT)