Erik van Keulen’s scientific contributions

What is this page?

This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (1)

Case Studies in the Verification of Specifications of VDM and Z
  • Article

January 1994

·

18 Reads

·

6 Citations

·

Erik van Keulen

This Technical Report presents a series of case studies in the formal, mathematical verification of formal specifications of sequential software systems. Each of the five case studies is formally specified in Z and VDM, and various issues in formal specification are discussed. Analysis and verification techniques from the two methods are applied to the case studies, and issues in the use of such techniques are discussed. Finally, suggestions are made about ways to combine the individual strengths of Z and VDM to make the verification task stronger and simpler.

Citations (1)

... The Dependency Management System (DMS) is presented in [7] and essentially maintains a directed acyclic graph of unspecified data. The data stored in the dependency management system is a parameter to the specification DATA and is not analysed further. ...

Reference:

Verifying Model Oriented Specifications through Animation
Case Studies in the Verification of Specifications of VDM and Z
  • Citing Article

  • January 1994

·

Erik van Keulen