Browsing Electrical and Computer Engineering by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
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 Electrical and Computer Engineering by Author "Rayside, Derek"
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 ...