Paige R.F. Case Studies in using a Meta-Method for Formal Method Integration. In: Johnson M. (ed) Algebraic methodology and software technology: 6th International Conference, AMAST 97, Sydney Australia. Springer-Verlag, 1997, pp 395--? (Lecture Notes in Computer Science No. 1349) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Integration of Formal Methods: Events and Scenarios in PVS .. - Droschl (1999) (2 citations) (Correct)
....between the two formalisms is not automatic. Rather, by making the two LOG parts as identical as possible, we aim at facilitating the transition from one tool to the other, once the environments ENV V DM and ENVPV S have been set up. 1. 6 Related Work Interest in merging formal methods is growing [4, 8, 20, 23, 24, 34, 35]. Our work is closely related to [34] which deals with composing partial specifications, that are written in different specification languages. All of the specifications are given semantics are translated in a common style: predicate logic. However, 34] is very general, and gives little guidance ....
....where an example proof is shown. 3. 3 Why VDM and PVS In formal methods there is a variety of features [25] and tools [15] From what has been said above, it should have become clear, that it is unreasonable to expect one single tool to be used for the whole of a formal development project [4, 20, 23, 24, 34, 35]. It has been shown that not all formalisms are equally well suited for the various issues arising in projects applying formal methods. The question that arises is, whether two or more tools may be integrated to form a new tool and how to do that efficiently. 3.4 Transition Principle LOG ENV As ....
Paige R.F. Case Studies in using a Meta-Method for Formal Method Integration. In: Johnson M. (ed) Algebraic methodology and software technology: 6th International Conference, AMAST 97, Sydney Australia. Springer-Verlag, 1997, pp 395--? (Lecture Notes in Computer Science No. 1349)
On the Integration of Formal Methods: Events and Scenarios in PVS .. - Droschl (1999) (2 citations) (Correct)
....next step of the ongoing case study will be to set up and apply a systematic testing process covering the whole of SSD s functionality. There, the proposed principle is going to be applied on an aspect of the testing process. 4. 2 Related Work Interest in merging formal methods tools is growing [16, 22, 19, 8, 4]. Concerning the tools used in the present case study, the IFAD Toolbox is begin extended with facilities for theorem proving [1, 3, 2] Recently, PVS has been complemented with features for model checking [25, 28] In previous work reported in [10] another part of SSD s functionality has been ....
R.F. Paige. Case studies in using a meta-method for formal method integration. Lecture Notes in Computer Science, 1349:395--??, 1997.
Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) Self-citation (Paige) (Correct)
No context found.
R.F. Paige.: Case Studies in using a Meta-Method for Formal Method Integration. In Proc. AMAST `97, LNCS 1349, Springer-Verlag, Sydney, Australia, December 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC