Architecture-aware partial-order reduction to accelerate model checking of networked programs

論文・著書情報

タイトル

和文:
英文:	Architecture-aware partial-order reduction to accelerate model checking of networked programs

著者

和文:	Cyrille Artho, Yoshinori Tanabe, 柴山悦哉, Watcharin Leungwattanakit, Masami Hagiya.
英文:	Cyrille Artho, Yoshinori Tanabe, Etsuya Shibayama, Watcharin Leungwattanakit, Masami Hagiya.

言語

English

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2007年10月

出版者

和文:
英文:

会議名称

和文:
英文:	Proc. of DIKU-IST Workshop

開催地

和文:
英文:	Copenhagen, Denmark