文献
J-GLOBAL ID:201102265671192382
整理番号:11A1261572
BMCのためのLTL空間検出高速化に向けた導出証明の利用
Exploiting resolution proofs to speed up LTL vacuity detection for BMC
著者 (4件):
SIMMONDS Jocelyn
(Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN)
,
DAVIES Jessica
(Univ. of Toronto, Dep. of Computer Sci., Toronto, ON, CAN)
,
GURFINKEL Arie
(Carnegie Mellon Univ., Software Engineering Inst., Pittsburgh, PA, USA)
,
CHECHIK Marsha
(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)
巻:
12
号:
5
ページ:
319-335
発行年:
2010年09月
JST資料番号:
W1267A
ISSN:
1433-2779
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)