A Meta-Method for Formal Method Integration

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - 1997
Original languageUndefined/Unknown

Abstract

We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.

Discover related content

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

View graph of relations