INSTITUT FÜR INFORMATIK Softwaretechnik und Programmiersprachen Universitätsstr. 1 D–40225 Düsseldorf Integration of the ProB model checker into Eclipse Jens Marco Bendisposto Bachelorarbeit Beginn der Arbeit: 07. April 2006 Abgabe der Arbeit: 06. Juli 2006 Gutachter: Prof. Dr. Michael Leuschel Prof. Dr. Stefan Conrad