Specifications, etc. used in some
papers
Kazuhiro Ogata: A generic approach to how to
formally specify and model check path finding agorithms: Dijkstra, A* and LPA*.
Submitted for publication. (2020)
specifications
Yati
Phyo, Canh Minh Do, Kazuhiro Ogata: A divide & conquer approach to leads-to
model checking. Submitted for publication. (2020)
specifications
Naomi
Okumura, Kazuhiro Ogata, Yoichi Shinoda: Formal analysis of RFC 8120
authentication protocol for HTTP under different assumptions. J. Inf. Secur.
Appl. 53: 102529 (2020)
specifications
May
Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata: Guessing, Model Checking and
Theorem Proving of State Machine Properties – A Case Study on Qlock, Int'l J.
Softw. Eng. Comput. Syst. 4(2): 1-18 (2018)
specifications