The VDM + B project : Objectives and Progress

Abstract

The VDM+B project is developing the formal underpinnings for an integration of VDM and B enabling their co-use within one development. In this paper, we describe the objectives for the project, the approach being undertaken and the current status of the work. 

3 Figures and Tables

Cite this paper

@inproceedings{BicarreguiTheV, title={The VDM + B project : Objectives and Progress}, author={Juan Bicarregui and Th. Dimitrakos and Kevin Lano and T. S. E. Maibaum and B. M. Matthews and Blair Ritchie} }