A Meta-Method for Formal Method Integration

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.

• Type: Conference
• Year: 1997
• Where: FM
• Authors: Richard F. Paige
• Keywords: FM 1997, Formal Method, Formal Method Integration, Formal Methods, Method Integration Pai97