| Presentation | 2012-07-02 Verification of embedded software in Assembly code by SMT prover Atsushi TAKESHITA, Junpei KOBASHI, Satoshi YAMANE, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We propose the technique of Bounded Model Checking(BMC) for embedded assembly program. We use SMT solver for BMC. We also propose improvement of SSA conversion algorithm for assembly program and implement the Algorithm using Java language. Finally, we verify the simple assembly program's property of a real embedded robot system. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | SMT solver / Bounded Model Checking / Single Static Assignment(SSA) / embedded assembly program |
| Paper # | CAS2012-7,VLD2012-17,SIP2012-39,MSS2012-7 |
| Date of Issue |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2012/6/25(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 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Verification of embedded software in Assembly code by SMT prover |
| Sub Title (in English) | |
| Keyword(1) | SMT solver |
| Keyword(2) | Bounded Model Checking |
| Keyword(3) | Single Static Assignment(SSA) |
| Keyword(4) | embedded assembly program |
| 1st Author's Name | Atsushi TAKESHITA |
| 1st Author's Affiliation | Graduate School of Natural Science and Technology, Kanazawa University() |
| 2nd Author's Name | Junpei KOBASHI |
| 2nd Author's Affiliation | Division of Electrical and Computer Engineering, Kanazawa University |
| 3rd Author's Name | Satoshi YAMANE |
| 3rd Author's Affiliation | Division of Electrical and Computer Engineering, Kanazawa University |
| Date | 2012-07-02 |
| Paper # | CAS2012-7,VLD2012-17,SIP2012-39,MSS2012-7 |
| Volume (vol) | vol.112 |
| Number (no) | 116 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |