Merge pull request #3515 from ligurio/ligurio/alloy

Add a topic (Alloy Analyzer)

Author: kenyonj

topics/alloy-analyzer/alloy-analyzer.png

@@ -0,0 +1,16 @@
+---
+aliases: alloy
+display_name: Alloy Analyzer
+short_description: Alloy is an open source language and analyzer for software modeling.
+github_url: https://github.com/AlloyTools
+logo: alloy-analyzer.png
+topic: alloy-analyzer
+url: http://alloytools.org/
+wikipedia_url: https://en.wikipedia.org/wiki/Alloy_(specification_language)
+---
+In computer science and software engineering, Alloy is a declarative
+specification language for expressing complex structural constraints and
+behavior in a software system. Alloy provides a simple structural modeling tool
+based on first-order logic. Alloy is targeted at the creation of micro-models
+that can then be automatically checked for correctness. Alloy specifications
+can be checked using the Alloy Analyzer.