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

摘要

We summarize the results of several experiments in applying a metamethod for formal method integration. 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.