Changes between Version 2 and Version 3 of CIVLmeeting2013

Timestamp:

12/11/13 09:29:29 (12 years ago)

Author:

zmanchun

Comment:

--

CIVLmeeting2013

@@ -1 @@
-1. bugs to fix for CIVL:
+1. things to do for CIVL:
  - report file not found nicer
  - report concrete # procs in message passing required nicer
  - check args to int div/mod nonnegative
  - check out other uses of "bundle"
+ - maybe record a video for CIVL tutorial?
 
 2. SARL: do what Green does:
@@ -9 +10 @@
   - persistent storage of cache
   - renaming the variables
+  - Z3?
 
 3. Make it easy to specify a dependence relation with a library. Use this in POR. Example: send and recv are independent (usually).
@@ -27 +29 @@
 9. Find other tools to compare with CIVL
   - e.g. CBMC, DIVINE 
-