|
|
|
|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
|
| Search Results: Conference Papers |
| Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
|
| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| VLD, IPSJ-SLDM |
2008-05-08
15:10 |
Hyogo |
Kobe Univ. |
Checker Generation of Assertions with Local Variables for Model Checking
Sho Takeuchi, Kiyoharu Hamaguchi, Yosuke Kakiuchi, Toshinobu Kashiwabara (Osaka Univ.) |
To perform functional formal verification, model checking for
assertions has been used. It is difficult, however, to... [more] |
VLD2008-3
pp.13-18 |
| SIP, ICD, IE, IPSJ-SLDM |
2005-10-21
15:30 |
Miyagi |
Ichinobo, Sakunami-Spa |
A Monitor Generation Method for Formal Monitor-based Verification Considering Input Constraints
Yosuke Kakiuchi (Osaka Univ.), Akira Kitajima (Osaka Electro-Communication Univ.), Kiyoharu Hamaguchi, Toshinobu Kashiwabara (Osaka Univ.) |
In order to verify hardware module interfaces, various verification methods have been proposed. This paper focuses on fo... [more] |
SIP2005-127 ICD2005-146 IE2005-91
pp.73-78 |
|
|
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|