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

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - 1997
Number of pages13
Original languageUndefined/Unknown

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations