This study consists to elaborate a system which control access building at differents personns.
It has been proposed by several researchers as a test for diverse formal methods.
 

The case study Informal presentation Aims of the system study Methodological conventions   Assessment and Conclusion

The  differents steps Initial model First Refinement Second Refinement Third Refinement Fourth Refinement Fifth Refinement

Methodological informations To visualize the B project PostScript Version is available The access control of buildings in a few figures