5 citations · 5 across the 1 of their papers we have counts for
1 paper
Aboubakr Achraf El Ghazi, Mana Taghdiri
This paper describes how Yices, a modern SAT Modulo theories solver, can be used to analyze the address-book problem expressed in Alloy, a first-order relational logic with transit…