= CIVL: The Concurrency Intermediate Verification Language =
[[Image(wiki:WikiStart:logo.png)]]

== Related Tools ==

These are links to wiki-pages or official sites of tools used by CIVL
- [wiki:ABC]
- [wiki:GMC]
- [wiki:SARL]
- Z3 (https://github.com/Z3Prover/z3/wiki)
- CVC4 (http://cvc4.cs.stanford.edu/web/)
- Why3 (http://why3.lri.fr/)
- Frama-C (https://frama-c.com/)

== Proposals & Plans ==

These are proposed plans for enhancing CIVL or related tools

== Weekly Presentation Schedule ==

This is the schedule list of weekly presentations
* [wiki:2018_06_28] Control Flow Graph
* [wiki:2018_07_05] C Implementation of Naive Decision Tree

== Other Links ==
* Paper reading: 
   - Sources https://vsl.cis.udel.edu/readings.html
   - Schedule https://docs.google.com/spreadsheet/ccc?key=0AvyY9XPxT2MVdFJzMThfWVdGZFpsYkNCcEJzUGdyYWc#gid=0
* [wiki:Conferences]