Browsing Mathematics (Faculty of) by Author "Abbassi, Ali"
Now showing items 1-3 of 3
-
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 ... -
Astra: Evaluating Translations from Alloy to SMT-LIB
Abbassi, Ali (University of Waterloo, 2018-12-21)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 ... -
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
Abbassi, Ali; Bandali, Amin; Day, Nancy; Serna, Jose (IEEE, 2019-08)Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system func- tionality abstractly and concisely. We compare two well-used formal declarative modelling languages, B and TLA+, ...