playground for stuff related to VU formal methods @ ut vienna