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 |
Size | Format |
abstract.pdf | | 66Kb | Adobe PDF | View/Open | paper.pdf | | 673Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|