Verifying networked programs using a model checker extension
-
- TANABE Yoshinori
- 国立情報学研究所
-
- YAMAMOTO Mitsuharu
- Chiba University
Bibliographic Information
- Title
- Verifying networked programs using a model checker extension
- Author
- Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Journal
-
- 31st International Conference on Software Engineering, Companion Volume
-
31st International Conference on Software Engineering, Companion Volume 409-410, 2009
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782031514371
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
