Dependable Systems & Software Engineering School of Electronics & Computer Science University of Southampton Highfield, Southampton SO17 1BJ T: +44 (0)23 8059 2435 F: +44 (0)23 8059 3045 E: mjb@ecs.soton.ac.uk Office: Building 53, Room 4036

Michael Butler Professor of Computer Science Publications Research Interests: DEPLOY Project Rodin Tool for Event-B Iness Project Refinement of distributed systems Formal modelling and analysis of business transactions Model checking for B (ProB Tool) Combining UML and B CSP and B (csp2B) The Refinement Calculus and tool support for refinement Workshop Organisation: Rodin User and Developer Workshop Dagstuhl workshop on Refinement Based Methods Teaching (local access only): COMP1001 Introduction to Formal Methods COMP1007 Discrete Mathematics ELEC2017 B Specification Design Exercise Potted History