Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB

Ali Abbassi
Ali Abbassi
Derek Rayside
Derek Rayside

CoRR, 2019.

Cited by: 0|Bibtex|Views0
EI
Other Links: dblp.uni-trier.de|arxiv.org

Abstract:

We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into their equivalent in typed first-order logic (TFOL). We investigate and compare the perf...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments