2015-10-22

Introduction of a formally proven safety violation check function

Contact at Lund University: Martin Höst