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.
| Original language | Undefined/Unknown |
|---|---|
| Pages | 395-408 |
| Number of pages | 13 |
| Publication status | Published - 1997 |