Temporal logic model checking in alloy

ABZ, pp. 150-163, 2012.

Cited by: 10|Bibtex|Views2|DOI:https://doi.org/10.1007/978-3-642-30885-7_11
EI
Other Links: dblp.uni-trier.de|dl.acm.org|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments