Master’s Thesis Presentation • Software Engineering — Astra: Evaluating Translations from Alloy to SMT-LIB
Ali Abbassi, Master’s candidate
David R. Cheriton School of Computer Science
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 ﬁrst order logic (TFOL).