Skip to main content

Investigating the Integration of two Formal Methods


VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools differ significantly. The SPECTRUM project has investigated the feasibility of integrating support for the two methodologies. In this paper, we describe the project and report on some technical results.

This is a preview of subscription content, access via your institution.

Author information



Additional information

Received March 1998 / Accepted in revised form October 1998

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Bicarregui, J., Matthews, B., Ritchie, B. et al. Investigating the Integration of two Formal Methods. Form Aspects Comput 10, 532–549 (1998).

Download citation

  • Keywords: B; Formal specification; Heterogeneous development; Translation; Tool support; VDM