Case Studies in Using a Meta-Method for Formal Method Integration

Research output: Contribution to conferencePaperpeer-review


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.
Original languageUndefined/Unknown
Number of pages13
Publication statusPublished - 1997

Cite this