Four Papers at CAV 2018

Four papers with involvement of the MOVES group have been accepted at CAV 2018:

  • “Sound Value Iteration” by Tim Quatmann and Joost-Pieter Katoen
  • “Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs” by Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll
  • Monitoring CTMCs By Multi-Clock Timed Automata” by Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia and Naijun Zhan, and
  • “Symbolic Liveness Analysis of Real-World Software” by Daniel Schemmel, Julian B√ľning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle