Proof in VDM: Case Studies
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9783540761860, 9781447115328

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Supporting Proof in VDM-SL using Isabelle

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_7 ◽

1998 ◽

pp. 191-223 ◽

Cited By ~ 1

Author(s):

Sten Agerholm ◽

Jacob Frost

Download Full-text

Shared Memory Synchronization

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_5 ◽

1998 ◽

pp. 123-156

Author(s):

Noemie Slaats ◽

Bart Van Assche ◽

Albert Hoogewijs

Keyword(s):

Shared Memory

Download Full-text

Proof in the Analysis of a Model of a Tracking System

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_1 ◽

1998 ◽

pp. 1-29 ◽

Cited By ~ 3

Author(s):

John Fitzgerald ◽

Cliff Jones

Keyword(s):

Tracking System

Download Full-text

The Specification and Proof of an EXPRESS to SQL “Compiler”

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_4 ◽

1998 ◽

pp. 95-121 ◽

Cited By ~ 1

Author(s):

Juan Bicarregui ◽

Brian Matthews

Download Full-text

Specification and Validation of a Network Security Policy Model

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_3 ◽

1998 ◽

pp. 65-93 ◽

Cited By ~ 1

Author(s):

Peter Lindsay

Keyword(s):

Network Security ◽

Security Policy ◽

Policy Model

Download Full-text

On the Verification of VDM Specification and Refinement with PVS

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_6 ◽

1998 ◽

pp. 157-189 ◽

Cited By ~ 1

Author(s):

Sten Agerholm ◽

Juan Bicarregui ◽

Savi Maharaj

Download Full-text

The Ammunition Control System

Proof in VDM: Case Studies ◽

10.1007/978-1-4471-1532-8_2 ◽

1998 ◽

pp. 31-64

Author(s):

Paul Mukherjee ◽

John Fitzgerald

Keyword(s):

Control System

Download Full-text