| Presentation | 2018-11-13 On formal verification of mathematical programming models by algebraic specifications Masaki Nakamura, Kazutoshi Sakakibara, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver. In this study, we investigate a way to verify the correctness of a given formalization by using CafeOBJ formal specification language. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Mathematical programming / Formal methods / CafeOBJ |
| Paper # | CAS2018-76,MSS2018-52 |
| Date of Issue | 2018-11-05 (CAS, MSS) |
| Conference Information | |
| Committee | MSS / CAS / IPSJ-AL |
|---|---|
| Conference Date | 2018/11/12(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| Vice Chair | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
| Secretary | Shigemasa Takai(Toshiba) / Taizo Yamawaki(Osaka Univ.) / (Shonan Inst. of Tech.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | On formal verification of mathematical programming models by algebraic specifications |
| Sub Title (in English) | |
| Keyword(1) | Mathematical programming |
| Keyword(2) | Formal methods |
| Keyword(3) | CafeOBJ |
| 1st Author's Name | Masaki Nakamura |
| 1st Author's Affiliation | Toyama Prefectural University(Toyama Pref. Univ.) |
| 2nd Author's Name | Kazutoshi Sakakibara |
| 2nd Author's Affiliation | Toyama Prefectural University(Toyama Pref. Univ.) |
| Date | 2018-11-13 |
| Paper # | CAS2018-76,MSS2018-52 |
| Volume (vol) | vol.118 |
| Number (no) | CAS-295,MSS-296 |
| Page | pp.pp.127-130(CAS), pp.127-130(MSS), |
| #Pages | 4 |
| Date of Issue | 2018-11-05 (CAS, MSS) |