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…