What is Alloy
Alloy is a formal modeling language, used for describing structures in a formal way. After modeling the structures, it is possible to check for some properties, look for counter examples and to visualize instances of the model.
Alloy is a formal modeling language, used for describing structures in a formal way. After modeling the structures, it is possible to check for some properties, look for counter examples and to visualize instances of the model.