Browsing Engineering (Faculty of) by Author "Rayside, Derek"
Now showing items 1-1 of 1
-
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
Abbassi, Ali; Day, Nancy A.; Rayside, Derek (2019-06-13)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 ...