2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Ali Abbassi, Nancy A. Day, Derek Rayside
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, a…