Presentation | 2010/5/20 Dynamic Real Time CEGAR Makoto SAKAI, Yuji TANAKA, Satoshi YAMANE, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In the present study, it proposes an effective model checking technique to the real time system into which the composition dynamically changes. In the proposal technique, the search space is reduced by synthesizing in parallel, and searching only for the automaton that is working in the reachability analysis now. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Model Checking / CEGAR / Dynamic CEGAR |
Paper # | KBSE2010-12,SS2010-12 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2010/5/20(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Dynamic Real Time CEGAR |
Sub Title (in English) | |
Keyword(1) | Model Checking |
Keyword(2) | CEGAR |
Keyword(3) | Dynamic CEGAR |
1st Author's Name | Makoto SAKAI |
1st Author's Affiliation | Kanazawa University Graduate School of Natural Science & Technology() |
2nd Author's Name | Yuji TANAKA |
2nd Author's Affiliation | Kanazawa University Graduate School of Natural Science & Technology |
3rd Author's Name | Satoshi YAMANE |
3rd Author's Affiliation | Kanazawa University Graduate School of Natural Science & Technology |
Date | 2010/5/20 |
Paper # | KBSE2010-12,SS2010-12 |
Volume (vol) | vol.110 |
Number (no) | 61 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |