A Meta-Method for Formal Method Integration

Richard F. Paige

doi:10.1007/3-540-63533-5_25

A Meta-Method for Formal Method Integration

Richard F. Paige

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.

Original language	Undefined/Unknown
Pages	473-494
DOIs	https://doi.org/10.1007/3-540-63533-5_25
Publication status	Published - 1997

Access to Document

10.1007/3-540-63533-5_25

http://dx.doi.org/10.1007/3-540-63533-5_25

Cite this

@conference{02dfba3d9f5942a8a1add74c2c89508e,

title = "A Meta-Method for Formal Method Integration",

abstract = "We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.",

author = "Paige, {Richard F.}",

year = "1997",

doi = "10.1007/3-540-63533-5_25",

language = "Undefined/Unknown",

pages = "473--494",

}

TY - CONF

T1 - A Meta-Method for Formal Method Integration

AU - Paige, Richard F.

PY - 1997

Y1 - 1997

N2 - We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.

AB - We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.

U2 - 10.1007/3-540-63533-5_25

DO - 10.1007/3-540-63533-5_25

M3 - Paper

SP - 473

EP - 494

ER -