1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2014
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…
cs.LO2014★ 1 cited
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…