文献

J-GLOBAL ID：200902298253768542   整理番号：05A0699933

続・システム検証の科学技術 対話型証明支援ツールPVSの紹介

A Tutorial on an Interactive Proof Assistance Tool PVS.

著者 (3件)： 高木理 (京都産大 理) ,  渡辺宏 (産業技術総合研 システム検証研究セ) ,  武山誠 (産業技術総合研 システム検証研究セ)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 22  号： 3  ページ： 37-57  発行年： 2005年07月26日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： PVS(Prototype Verification Sys...

シソーラス用語： *プログラム検証 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0699933&from=J-GLOBAL&jstjournalNo=Y0628A") }}

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

引用文献 (7件)：

• SRI Computer Science Laboratory におけるPVSの web サイト (PVSの開発・配布元). http://pvs.csl.sri.com/
• CROW, J. A tutorial Introduction to PVS. Workshop on Industrial-Strength Formal Specification Techniques, 1995. 1995
• OWRE, S. The PVS Prelude Library. http://pvs.csl.sri.com/. 2003
• OWRE, S. PVS Language Reference. http://pvs.csl.sri.com/. 2001
• PELED, D. Software Reliability Methods. 2001

タイトルに関連する用語 (5件)： システム検証 ,  科学 ,  対話型 ,  証明 ,  支援ツール