|
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.
|
