Blog posts tagged with "alloy"

A bit of Queuing Theory

2 December 2019 • Ilenia Salvadori, Mark Hoffmann, Jürgen Albert

We are developing a tool which allows, once an EMF model is created, to test and validate it in a reliable and efficient way. We did that by exploiting the potential of the Alloy Language and its powerful Alloy Analyzer. When you build a model to describe a process or... [more]