Difference between revisions of "ITL Windows Build"

From CSLabsWiki
m (fix)
(Model Verification)
Line 75: Line 75:
 
[http://z3.codeplex.com/ Z3]
 
[http://z3.codeplex.com/ Z3]
   
[http://research.microsoft.com/en-us/projects/vcc/ VCC]
+
[https://vcc.codeplex.com/ VCC]
   
 
[http://alloy.mit.edu/alloy/ Alloy]
 
[http://alloy.mit.edu/alloy/ Alloy]

Revision as of 11:34, 20 August 2014