summaryrefslogtreecommitdiffstats
path: root/development/alloy/README
blob: 180468fc3905733dbd486e050ecaccb12b3079c8 (plain)
1
2
3
4
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.