|
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/17166
|
| Title: | [課題研究報告書] 論理式肥大に伴う活性のモデル検査の非効率化の改善に関する調査 |
| Authors: | 小柳, 伶史 |
| Authors(alternative): | こやなぎ, さとし |
| Keywords: | 公平性
モデル検査
活性
fairness
model checking
Maude
liveness property |
| Issue Date: | Mar-2021 |
| Description: | Supervisor: 緒方 和博
先端科学技術研究科
修士 (情報科学) |
| Title(English): | An investigation of improvement of liveness model checking performance degraded by obese formulas [Project Paper] |
| Authors(English): | Koyanagi, Satoshi |
| Language: | jpn |
| URI: | http://hdl.handle.net/10119/17166 |
| Appears in Collections: | M-IS. 2020年度(R02) (Jun.2020 - Mar.2021)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | | 20Kb | Adobe PDF | View/Open | | paper.pdf | | 972Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
