184.747 Software Model Checking, Vienna University of Technology