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)