Abbrevation
BCS-FACS Evening Seminar
City
London
Country
UK
Start Date
End Date
Abstract
An incremental approach to the formal development of distributed systems is achievable using state–based modelling and verification of refinement between models. The important features of distributed systems can be represented using state–based modelling. Formal modelling and verification leads to deep insight and cleaner architecture. The significance of an incremental approach is that it enables the factorisation of the intellectual design effort and the proof effort into manageable parts. Strong tool support for managing and proving model refinements are essential and exist in the form of tools for B and Event–B. <b>Keywords:</b>