Presentation | 2015-07-24 A Study on a Formal Verification Method Using Atelier-B Ryota Yamamoto, Shuichiro Yamamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we try to evaluate a formal verification method using Atelier-B, a delopment tool for B-method. To enhance dependability, in particular, we describe how to apply Atelier-B for verifying the validity of the additional components. First, the formal model of the component-based system is developed using B-method. Then additional components are introduced to the basic model in B-method. We also report the result of the evaluation of applicability of Atelier-B for the formal validation of additional components. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Formal Verification / B Method |
Paper # | SS2015-29,KBSE2015-22 |
Date of Issue | 2015-07-15 (SS, KBSE) |
Conference Information | |
Committee | KBSE / SS / IPSJ-SE |
---|---|
Conference Date | 2015/7/22(3days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Tadashi Iijima(Keio Univ.) / Shoji Yuen(Nagoya Univ.) |
Vice Chair | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
Secretary | Shigeo Kaneda(Nihon Univ.) / Kazuhiro Ogata(Osaka Univ.) / (Tokyo Inst. of Tech.) |
Assistant | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Study on a Formal Verification Method Using Atelier-B |
Sub Title (in English) | |
Keyword(1) | Formal Verification |
Keyword(2) | B Method |
1st Author's Name | Ryota Yamamoto |
1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
2nd Author's Name | Shuichiro Yamamoto |
2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
Date | 2015-07-24 |
Paper # | SS2015-29,KBSE2015-22 |
Volume (vol) | vol.115 |
Number (no) | SS-153,KBSE-154 |
Page | pp.pp.143-148(SS), pp.143-148(KBSE), |
#Pages | 6 |
Date of Issue | 2015-07-15 (SS, KBSE) |