Announcement_4

I have started working on BenchExec under Dr. Philipp Wendler at Software and Computational Systems Lab, Ludwig Maximilian University of Munich