An unofficial copy of MIT's  Alloy Analyzer model checking tool.