5 citations · 6 across the 3 of their papers we have counts for
3 papers
Analyzing Alloy Formulas using an SMT Solver: A Case Study
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…
A Dual-Engine for Early Analysis of Critical Systems
Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich +1
This paper presents a framework for modeling, simulating, and checking properties of critical systems based on the Alloy language -- a declarative, first-order, relational logic wi…
Reducing the Complexity of Quantified Formulas via Variable Elimination
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri +1
We present a general simplification of quantified SMT formulas using variable elimination. The simplification is based on an analysis of the ground terms occurring as arguments in…