UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Computer Science 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+, ...