C. Ferreira,

R – INESC-ID Lisboa


B is a rigorous software development method that covers all software lifecycle stages from requirements to implementation. The development of a program (or system) starts with a very abstract model that is gradually refined into an implementation. The internal consistency of the initial model and each refinement step has to be proved correct. There are several tools (Atelier-B, B4free, B-Toolkit)
that support the B method and provide a proof assistant. In this talk I will give an overview of the B method and present a case study to illustrate the development of a system with the B4free tool.


Date: 2006-Apr-17     Time: 15:30:00     Room: 336

For more information: