The Vienna Development Method (VDM) is a formal method that supports modeling and analysis of software systems at various levels of abstraction.
In this paper, we propose an approach to supporting model check VDM models by constructing a hybrid verification model combining VDMJ, a VDM interpreter, and�...
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki: Towards Verifying VDM Using SPIN. FTSCS 2015: 241-256. manage site settings.
Towards Verifying VDM Using SPIN. https://doi.org/10.1007/978-3-319-29510-7_14. Journal: Communications in Computer and Information Science Formal Techniques�...
Dive into the research topics of 'Towards verifying VDM using SPIN'. Together they form a unique fingerprint. Sort by; Weight � Alphabetically. Computer�...
Dive into the research topics of 'Towards verifying VDM using SPIN'. Together they form a unique fingerprint. Sort by; Weight � Alphabetically. Computer�...
ways: Firstly we specify and verify more properties in our model and secondly their approach uses VDM while we use. SPIN and due to which we are able to verify�...
This paper reports on two related experiments in the formalisation of software development methods: the VDM method has been formalised in two logic�...
This repository is for the public access of paper(s) regarding model checking VDM(-SL) using SPIN. Part 1: Core files to look Core files of SIMPLE simple.vdmsl�...
Missing: Verifying | Show results with:Verifying
However, to derive full benefit from the use of VDM in software development, associative activities such as validating and verifying VDM models are crucial.