|
|
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, CPSY, RECONF, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2007-11-20 11:20 |
Fukuoka |
Kitakyushu International Conference Center |
An Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara (Osaka Univ.) |
Model checking technique, which is a method to verify systems automatically, have attracted attentions. Model checking, ... [more] |
VLD2007-73 DC2007-28 pp.19-24 |
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|