証明支援系Coqを用いた有界モデル検査
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 34 (2017-09-01), S. 135-140
academicJournal
Zugriff:
Titel: |
証明支援系Coqを用いた有界モデル検査
|
---|---|
Autor/in / Beteiligte Person: | 采人, 藤井 ; 大輔, 石井 |
Link: | |
Zeitschrift: | 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 34 (2017-09-01), S. 135-140 |
Veröffentlichung: | 2017 |
Medientyp: | academicJournal |
ISSN: | 0913-5391 |
Sonstiges: |
|