posted by Thom Holwerda on Sun 21st Jan 2007 17:22 UTC, submitted by ganges master
IconThe Alloy Analyzer is a tool developed by MIT for analyzing models written in Alloy, a simple structural modeling language based on first-order logic. Alloy can be used to detect conceptual mistakes in the model before the coding starts. Scientific American has published an article about it.
e p (1)    2 Comment(s)

Technology White Papers

See More