A Meta-Method for Formal Method Integration (1997)
Cached
Download Links
- [www.cs.yorku.ca]
- [www-users.cs.york.ac.uk]
- [www.cs.yorku.ca]
- DBLP
Other Repositories/Bibliography
by
Richard F. Paige
| Venue: | In Proc. Formal Methods Europe 1997, LNCS 1313 |
| Citations: | 27 - 15 self |
BibTeX
@INPROCEEDINGS{Paige97ameta-method,
author = {Richard F. Paige},
title = {A Meta-Method for Formal Method Integration},
booktitle = {In Proc. Formal Methods Europe 1997, LNCS 1313},
year = {1997},
pages = {473--494},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
