| | 1 | = CIVL: The Concurrency Intermediate Verification Language = |
| | 2 | [[Image(wiki:WikiStart:logo.png)]] |
| | 3 | |
| | 4 | == Related Tools == |
| | 5 | |
| | 6 | These are links to wiki-pages or official sites of tools used by CIVL |
| | 7 | - [wiki:ABC] |
| | 8 | - [wiki:GMC] |
| | 9 | - [wiki:SARL] |
| | 10 | - Z3 (https://github.com/Z3Prover/z3/wiki) |
| | 11 | - CVC4 (http://cvc4.cs.stanford.edu/web/) |
| | 12 | - Why3 (http://why3.lri.fr/) |
| | 13 | - Frama-C (https://frama-c.com/) |
| | 14 | |
| | 15 | == Proposals & Plans == |
| | 16 | |
| | 17 | These are proposed plans for enhancing CIVL or related tools |
| | 18 | |
| | 19 | == Weekly Presentation Schedule == |
| | 20 | |
| | 21 | This is the schedule list of weekly presentations |
| | 22 | * [wiki:2018_06_28] Control Flow Graph |
| | 23 | * [wiki:2018_07_05] C Implementation of Naive Decision Tree |
| | 24 | |
| | 25 | == Other Links == |
| | 26 | * Paper reading: |
| | 27 | - Sources https://vsl.cis.udel.edu/readings.html |
| | 28 | - Schedule https://docs.google.com/spreadsheet/ccc?key=0AvyY9XPxT2MVdFJzMThfWVdGZFpsYkNCcEJzUGdyYWc#gid=0 |
| | 29 | * [wiki:Conferences] |
