The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28921
Record Status Checked
Record Id 28921
Title Investigating the Integration of Two Formal Methods
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 the technical results.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 3rd ERCIM Workshop on Formal Methods for Industrial Critical Systems , Amsterdam, The Netherlands, 25-26 May, 1998, (1998). http://link.sprin…001650050031?LI=true 1998