| Presentation | 2023-07-22 Verification of System Behavior using two types of model checking Yoshitaka Aoki, Shinpei Ogata, Hiroyuki Nkagawa, Kazuki Kobayashi, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | |
| Paper # | SS2023-20,KBSE2023-31 |
| Date of Issue | 2023-07-13 (SS, KBSE) |
| Conference Information | |
| Committee | SS / KBSE / IPSJ-SE |
|---|---|
| Conference Date | 2023/7/20(3days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Kozo Okano(Shinshu Univ.) / Takuya Saruwatari(NTT Data) / 鷲崎 弘宜(早稲田大) |
| Vice Chair | Yoshiki Higo(Osaka Univ.) / Yoshinori Tanabe(Tsurumi Univ.) |
| Secretary | Yoshiki Higo(Shinshu Univ.) / Yoshinori Tanabe(Tokyo Inst. of Tech.) / (BIPROGY) |
| Assistant | Shinsuke Matsumoto(Osaka Univ.) / TakaShi Kitamura(AIST) / TakaFumi Tanaka(Tamagawa Univ.) / 新原 敦介(日立) / 竹之内 啓太(ＮＴＴデータ) |
| Paper Information | |
| Registration To | Technical Committee on Software Science / Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Verification of System Behavior using two types of model checking |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Yoshitaka Aoki |
| 1st Author's Affiliation | BIPROGY Inc.(BIPROGY) |
| 2nd Author's Name | Shinpei Ogata |
| 2nd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 3rd Author's Name | Hiroyuki Nkagawa |
| 3rd Author's Affiliation | Osaka University(Osaka Univ.) |
| 4th Author's Name | Kazuki Kobayashi |
| 4th Author's Affiliation | Shinshu University(Shinshu Univ.) |
| Date | 2023-07-22 |
| Paper # | SS2023-20,KBSE2023-31 |
| Volume (vol) | vol.123 |
| Number (no) | SS-123,KBSE-124 |
| Page | pp.pp.110-115(SS), pp.110-115(KBSE), |
| #Pages | 6 |
| Date of Issue | 2023-07-13 (SS, KBSE) |