default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProof in VDM, 1998
- Juan Bicarregui
:
Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), Springer 1998, ISBN 978-3-540-76186-0 - John S. Fitzgerald, Cliff B. Jones:
Proof in the Analysis of a Model of a Tracking System. 1-29 - Paul Mukherjee, John S. Fitzgerald:
The Ammunition Control System. 31-64 - Peter Lindsay:
Specification and Validation of a Network Security Policy Model. 65-93 - Juan Bicarregui, Brian Matthews:
The Specification and Proof of an EXPRESS to SQL "Compiler". 95-121 - Noemie Slaats, Bart Van Assche, Albert Hoogewijs:
Shared Memory Synchronization. 123-156 - Sten Agerholm, Juan Bicarregui, Savi Maharaj:
On the Verification of VDM Specification and Refinement with PVS. 157-189 - Sten Agerholm, Jacob Frost:
Supporting Proof in VDM-SL using Isabelle. 191-223
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
