bandeau_web_colloques_js2009

From Research to Teaching Formal Methods - The B Method
TFM B'2009

Lina >>   8 June 2009   <<
 Nantes
France

Conference Preliminary Programme

online registration / enregistrement en ligne

Proceedings (pdf)

8:30-9:00 Welcome

9:00-10:00 Invited Conference

Prof. Michael Leuschel, University of Düsseldorf details


10:00-10:15 Break

10:15-11:00   Latest News on AtelierB V4

Antoine Requet, ClearSy, France details

 11:00-11:35   Sculpturing Event-B Models with Rodin: Holes and Lumps in Teaching Refinement through Problem-Based Learning

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy, Telecom& Management SudParis, France


11:35-11:50 Break

11:50-12:25   Teaching the B Method at Oxford Brookes

D. Lightfoot, C. Martin, Oxford Brookes University, UK

12:25-13:00   Twelve Years of B Teaching in an Engineer School : from a Correct by Design Approach to Analysis Techniques and Tools

M-L. Pottet, Verimag Grenoble, France


13:00-14:00 Lunch

14:00-14:35   High-Level versus Low-Level Specifications: Comparing B with Promela and ProB with Spin

Mireille Samia, Harald Wiegard, Jens Bendisposto, Michael Leuschel, University of Düsseldorf, DE

14:35-15:10    BiCoax, a Proof Tool Traceable to the BBook

Samuel Colin, George Mariano, INRETS, France


15:10-16:15 Break - Demos

16:15-16:50   Constructing a Formal Event Model of Linux File System Access Permissions: A Research-Based Teaching Approach

David Cumbor, Bill Stoddard, University of Teesside, UK

 16:50-17:25   How to make mistakes?

Stefan Hallerstede, University of Düsseldorf, DE

 17:25-18:00   To structure, Realize and Prove: How and Why

Alain Couturier(1), Michel Gazeau(1), Gérald Jean-Baptiste(1), Gwenola Kerglonou(2),  (1) CNAM Pays-Loire and (2) ICAM Nantes, France