ProB: A Model Checker for B

20^th May 2003, 16:00
Michael Leuschel
Department of Electronics and Computer Science, University of Southampton, UK