Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:finite-model_finders [2008/03/13 13:24]
vkuncak
sav08:finite-model_finders [2010/02/23 12:05] (current)
vkuncak
Line 27: Line 27:
 ===== References ===== ===== References =====
  
 +  * [[http://​www4.in.tum.de/​~blanchet/​nitpick.html|Nitpick]]
   * [[http://​web.mit.edu/​~emina/​www/​kodkod.html]]   * [[http://​web.mit.edu/​~emina/​www/​kodkod.html]]
   * [[http://​www.cs.chalmers.se/​~koen/​folkung/​]]   * [[http://​www.cs.chalmers.se/​~koen/​folkung/​]]
   * [[http://​alloy.mit.edu]]   * [[http://​alloy.mit.edu]]
  
 
sav08/finite-model_finders.txt · Last modified: 2010/02/23 12:05 by vkuncak
 
© EPFL 2018 - Legal notice