From 9eea3d3eb6c2929209131c7fe7436d252dc576bd Mon Sep 17 00:00:00 2001 From: "Jockey S. Kyd" Date: Wed, 28 Sep 2011 07:56:36 -0300 Subject: development/alloy: Added (lightweight modelling language) Signed-off-by: Niels Horn --- development/alloy/README | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 development/alloy/README (limited to 'development/alloy/README') diff --git a/development/alloy/README b/development/alloy/README new file mode 100644 index 0000000000..180468fc39 --- /dev/null +++ b/development/alloy/README @@ -0,0 +1,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. -- cgit v1.2.3-80-g2a13