Investigating the Integration of two Formal Methods
Juan Bicarregui, Brian W. Matthews, Brian Ritchie, Sten Agerholm · Formal Aspects of Computing · 1998
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.