L. Burdy. A treatment of partiality: Its application to the B method. In CADE-15 Workshop on Mechanization of Partial Functions. http://www.cs.bham.ac.uk/~mmk/cade98-partiality/index.html, Lindau, Germany, 1998. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Supporting Co-Use of VDM and B by Translation - Bicarregui, Bishop.. (Correct)
....theoremproving system [GTM93] This would provide a common theorem proving environment for both languages. There are several possible approaches to embedding the logic of partial functions into 3 Available from http: cm.bell labs.com cm cs what smlnj . 12 higher order logic [JM94,KK97,Bur98] An embedding of VDM into HOL is already under development at IFAD, using the PROSPER toolkit [DCN 00] Previous work on proof support for VDM can be found in [JJLM91] There are several papers describing embeddings of formal specification languages into automated theorem provers for ....
L. Burdy. A treatment of partiality: Its application to the B method. In CADE-15 Workshop on Mechanization of Partial Functions. http://www.cs.bham.ac.uk/~mmk/cade98-partiality/index.html, Lindau, Germany, 1998.
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