CIVL: The Concurrency Intermediate Verification Language

Related Tools

These are links to wiki-pages or official sites of tools used by CIVL

• ABC
• GMC
• 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

• 2018_06_28 Control Flow Graph
• 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
• Conferences