Tag: download Alloy Analyzer

A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour.

Download Now