JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
R02) (Jun.2020 - Mar.2021 >

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

Title: Formal verification of some mutual exclusion protocols with CafeInMaude, its proof assistant and its proof generator
Authors: Tran Dinh, Duong
Authors(alternative): Tran Dinh, Duong
Keywords: proof score
algebraic specification language
mutual exclusion protocol
lemma weakening
Issue Date: Sep-2020
Description: Supervisor: Prof. Kazuhiro Ogata
Graduate School of Advanced Science and Technology
Master of Science (Information Science)
Title(English): Formal verification of some mutual exclusion protocols with CafeInMaude, its proof assistant and its proof generator
Authors(English): Tran Dinh, Duong
Language: eng
URI: http://hdl.handle.net/10119/16851
Appears in Collections:M-IS. 2020年度(R02) (Jun.2020 - Mar.2021)

Files in This Item:

File Description SizeFormat
abstract.pdf38KbAdobe PDFView/Open
paper.pdf720KbAdobe PDFView/Open

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

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology