ePubs

The open archive for STFC research publications

PURL issue currently affecting ePubs. Persistent Uniform Resource Locator (PURL) links in ePubs are not currently working. This is due to a cyber incident that has affected the third-party provider of the PURL system. We are hopeful that this issue will be resolved shortly.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/29011
Record Status Checked
Record Id 29011
Title Investigating the Integration of Two Formal Methods
Contributors
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.
Organisation CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Formal Aspects of Computing 10 (1998): 532-549. doi:10.1007/s001650050031 1998