文献
J-GLOBAL ID：201102265671192382   整理番号：11A1261572

BMCのためのLTL空間検出高速化に向けた導出証明の利用

Exploiting resolution proofs to speed up LTL vacuity detection for BMC
著者 (4件)：
SIMMONDS Jocelyn

SIMMONDS Jocelyn について

(Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN)

Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN について

, 
DAVIES Jessica

DAVIES Jessica について

(Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN)

Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN について

, 
GURFINKEL Arie

GURFINKEL Arie について

(Carnegie Mellon Univ., Software Engineering Inst., Pittsburgh, PA, USA)

Carnegie Mellon Univ., Software Engineering Inst., Pittsburgh, PA, USA について

, 
CHECHIK Marsha

CHECHIK Marsha について

(Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN)

Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN について


資料名：
International Journal on Software Tools for Technology Transfer  (International Journal on Software Tools for Technology Transfer)

International Journal on Software Tools for Technology Transfer について


巻： 12  号： 5  ページ： 319-335  発行年： 2010年09月 
JST資料番号： W1267A  ISSN： 1433-2779  資料種別： 逐次刊行物 (A)
発行国： ドイツ (DEU)  言語： 英語 (EN)
タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
BMC

BMC について

, 
高速化

高速化 について

, 
導出

導出 について

, 
証明

証明 について


前のページに戻る

TOP

BOTTOM