Formal Aspects of Computing

, Volume 10, Issue 5–6, pp 532–549 | Cite as

Investigating the Integration of two Formal Methods

  • Juan Bicarregui
  • Brian Matthews
  • Brian Ritchie
  • Sten Agerholm
Original Paper

Abstract.

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.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1998

Authors and Affiliations

  • Juan Bicarregui
    • 1
  • Brian Matthews
    • 1
  • Brian Ritchie
    • 1
  • Sten Agerholm
    • 2
  1. 1.Rutherford Appleton Laboratory Chilton, Didcot, Oxon, UKUK
  2. 2.IFAD, Odense M, DenmarkDK

Personalised recommendations