summaryrefslogtreecommitdiff
path: root/development/alloy/README
blob: 6d1e763ac2719caf832888b4b64ece76adc90752 (plain)
1
2
3
Alloy is a lightweight modelling language for software design. It is amenable
to a fully automatic analysis, using the Alloy Analyzer, and provides a
visualizer for making sense of solutions and counterexamples it finds.