Monthly Archives: July 2015

Tutorial on Runtime Verification at FM 2015

Posted on 10th July 2015 by Volker Stolz

On June 23rd, Prof. Martin Leucker and Daniel Thoma gave a full-day tutorial on the Theory and Practice of Runtime Verification at the Formal Methods conference in Oslo, Norway.

Posted in Events | Comments Off on Tutorial on Runtime Verification at FM 2015