述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)

駒形, 龍太; 山根, 智

このアイテムのアクセス数: 213

http://hdl.handle.net/2433/80953

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1554-27.pdf		1 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	駒形, 龍太	ja
dc.contributor.author	山根, 智	ja
dc.contributor.alternative	Komagata, Ryota	en
dc.contributor.alternative	Yamane, Satoshi	en
dc.contributor.transcription	コマガタ, リョウタ	ja
dc.contributor.transcription	ヤマネ, サトシ	ja
dc.date.accessioned	2009-07-23T23:48:51Z	-
dc.date.available	2009-07-23T23:48:51Z	-
dc.date.issued	2007-05	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/80953	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject	formal method	en
dc.subject	real-time programs	en
dc.subject	predicate abstraction and refinement	en
dc.subject.ndc	410	-
dc.title	述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)	ja
dc.title.alternative	Automatic Verification for Real-time Programs using Predicate Abstraction and Refinement : Extended Abstract(Theory of Computer Science and Its Applications)	en
dc.title.transcription	ジュツゴチュウショウカセンレンオモチイタリアルタイムプログラムノジドウケンショウシュホウケイサンキカガクノリロントソノオウヨウ	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1554	-
dc.identifier.spage	194	-
dc.identifier.epage	201	-
dc.textversion	publisher	-
dc.sortkey	27	-
dc.address	金沢大学大学院自然科学研究科電子情報工学専攻	ja
dc.address	金沢大学大学院自然科学研究科電子情報工学専攻	ja
dc.address.alternative	Division of Electrical and Computer Engineering, Graduate School of Natural Science & Technology, Kanazawa University	en
dc.address.alternative	Division of Electrical and Computer Engineering, Graduate School of Natural Science & Technology, Kanazawa University	en
dcterms.accessRights	open access	-
出現コレクション:	1554 計算機科学の理論とその応用

アイテムの簡略レコードを表示する

Export to RefWorks

このリポジトリに保管されているアイテムはすべて著作権により保護されています。