| Presentation | 2014-05-08 Towards Model Checking VDM Specifications Hsin-Hung LIN, Yoichi OMORI, Shigeru KUSAKABE, Keijiro ARAKI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | VDM (Vienna Development Method) is a model-based specification description language which supports modeling and analysis of software systems at various levels of abstraction. In applying VDM, or formal specifications, in software development, validation and verification of formal specifications are the key points of realizing high quality software development. In this paper, we propose an approach of model checking VDM (Vienna Development Method) specifications as the method of validation and verification for VDM specification based software development. The current status of the approach is reported: (1) the problem definition in which we defined the problem of model checking VDM using extended automata model with VDM model and VDM interpretor; (2) the demonstration of the checking process using a simple elevator example. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | VDM / Model Checking |
| Paper # | SS2014-4 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2014/5/1(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Science (SS) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Towards Model Checking VDM Specifications |
| Sub Title (in English) | |
| Keyword(1) | VDM |
| Keyword(2) | Model Checking |
| 1st Author's Name | Hsin-Hung LIN |
| 1st Author's Affiliation | Faculty of Information Science and Electrical Engineering, Kyushu University() |
| 2nd Author's Name | Yoichi OMORI |
| 2nd Author's Affiliation | Faculty of Information Science and Electrical Engineering, Kyushu University |
| 3rd Author's Name | Shigeru KUSAKABE |
| 3rd Author's Affiliation | Faculty of Information Science and Electrical Engineering, Kyushu University |
| 4th Author's Name | Keijiro ARAKI |
| 4th Author's Affiliation | Faculty of Information Science and Electrical Engineering, Kyushu University |
| Date | 2014-05-08 |
| Paper # | SS2014-4 |
| Volume (vol) | vol.114 |
| Number (no) | 23 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |