Changes between Initial Version and Version 1 of ModifiedVis

Timestamp:

Feb 20, 2012, 5:18:00 PM (13 years ago)

Author:

cecile

Comment:

--

ModifiedVis

@@ +1 @@
+== VIS ==
+It's the basic tools of Colorado University. We add the following pakage
+http://vlsi.colorado.edu/~vis/
+=== Robustness ===
+FME3, Robustness implémentation
+
+=== Debug ===
+Bremen, debug implémentation (2008)
+
+=== Cegar ===
+Add counter example negation for model checking