JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
R05) (Jun.2023 - Mar.2024 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/18924

Title: 【課題研究報告書】分散リーダエレクションプロトコルの形式仕様とモデル検査
Authors: 小椋, 友芳
Authors(alternative): おぐら, ともよし
Keywords: モデル検査
分散アルゴリズム
リーダ選出
安全性
活性
状態遷移システム
model checking
distributed algorithm
leader election
Maude
safety property
liveness property
state transition system
Issue Date: Mar-2024
Description: Supervisor: 緒方 和博
先端科学技術研究科
修士(情報科学)
Title(English): Formal Specification and Model Checking of Distributed Leader Election Protocols【Project Report】
Authors(English): Ogura, Tomoyoshi
Language: jpn
URI: http://hdl.handle.net/10119/18924
Appears in Collections:M-IS. 2023年度(R05) (Jun.2023 - Mar.2024)

Files in This Item:

File Description SizeFormat
abstract.pdf要旨23KbAdobe PDFView/Open
jabstract.pdf日本語要旨150KbAdobe PDFView/Open
paper.pdf本文2174KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)