Conference
Case studies in using a meta-method for formal method integration
Abstract
We summarize the results of several experiments in applying a meta-method for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.
Authors
Paige RF
Series
Lecture Notes in Computer Science
Volume
1349
Pagination
pp. 395-408
Publisher
Springer Nature
Publication Date
1997
DOI
10.1007/bfb0000485
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743