MIT Alloy and Software Dependability

The 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.


  1. 2007-01-21 6:22 pm
    • 2007-01-21 7:57 pm