JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
R03) (Jun.2021 - Mar.2022 >

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

Title: 証明スコア法による形式検証の調査研究及び新規事例 [課題研究報告書]
Authors: 浅江, 尚輝
Authors(alternative): あさえ, なおき
Keywords: 形式手法
formal methods
Issue Date: Sep-2021
Description: Supervisor:緒方 和博
先端科学技術研究科
修士(情報科学)
Title(English): An investigation of the proof score approach to formal verification and a new case study with the approach [Project Report]
Authors(English): Asae, Naoki
Language: eng
URI: http://hdl.handle.net/10119/17548
Appears in Collections:M-IS. 2021年度(R03) (Jun.2021 - Mar.2022)

Files in This Item:

File Description SizeFormat
abstract.pdf66KbAdobe PDFView/Open
paper.pdf673KbAdobe 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