書誌事項
- タイトル別名
-
- A Tutorial on an Interactive Proof Assistance Tool PVS.
- チュートリアル 対話型証明支援ツールPVSの紹介
- チュートリアル タイワガタ ショウメイ シエン ツール PVS ノ ショウカイ
この論文をさがす
説明
本論文の目的は，証明支援ツールの1 つであるPVSおよびその応用例を紹介することである．<BR>第1節および第2節において，PVSおよびその作業の流れを大まかに説明する．第3節および第4節では，PVSにおける最も重要な概念である型および証明に関する説明を行う．第5節において，PVSの応用例として，特定の文字列を分類・変換する簡単なプログラムを取り上げ，PVSを用いてそのプログラムの検証を行う．
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 22 (3), 37-57, 2005
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001204738278656
-
- NII論文ID
- 110008016659
-
- NII書誌ID
- AN10075819
-
- NDL書誌ID
- 7832246
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDLサーチ
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可
