抄録
B-017
分散システム開発でのディペンダブルなプロトコルのSPINによる検証
◎及川雄也・小林　洋（東海大）
本研究では，Webシステム等の分散システム開発で，耐故障プロトコルとして最近注目を浴びているZyzzyzaプロトコルを，我々が先の研究でP2Pシステム向けに改良したプロトコルについて，SPINによりモデル検査を行い検証を行うのを目的としている．本稿では，まず，オリジナルのZyzzyzaプロトコルをモデル化し検証を行った結果を発表する．