Rushby J., Ubiquitous Abstraction: A New Approach for Mechanized Formal Verification (Extended Abstract). In: Proceedings of Second International Conference on Formal Engineering Methods (ICFEM '98), Brisbane, Australia. pp 176--178. IEEE Computer Society, 1998. 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)
....only for part of the VDM SL specification there is a mapping to its PVS counterpart. Concerning the tools used in the present case study, the IFAD Toolbox is being extended with facilities for theorem proving [1, 2, 3] Recently, PVS has been complemented with features for model checking [29, 31]. In [10] the scenario of SSD has been used to build a tool for automatically generating test cases for analysis using the IFAD Toolbox. Due to this tool, the reach of the Toolbox has been extended. In previous work reported in [11] another part of SSD s functionality has been investigated using ....
Rushby J., Ubiquitous Abstraction: A New Approach for Mechanized Formal Verification (Extended Abstract). In: Proceedings of Second International Conference on Formal Engineering Methods (ICFEM '98), Brisbane, Australia. pp 176--178. IEEE Computer Society, 1998.
On the Integration of Formal Methods: Events and Scenarios in PVS .. - Droschl (1999) (2 citations) (Correct)
....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 investigated using PVS. There, the transition is based on the same principle as in this paper. This is where the idea for building the LOG and ENV parts has emerged. Facilitating the transition of core concepts from ....
J. Rushby. Ubiquitous abstraction: A new approach for mechanized formal verification (extended abstract). In Second International Conference on Formal Engineering Methods (ICFEM '98), pages 176--178, Brisbane, Australia, December 1998. IEEE Computer Society.
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