The following publications are possibly variants of this publication:
- Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. jucs, 19(6):771-804, 2013. [doi]
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ MethodMin Zhang 0002, Kazuhiro Ogata, Kokichi Futatsugi. BIRTHDAY 2014: 560-577 [doi]
- Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ MethodIakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata. ISoLA 2010: 75-89 [doi]
- On Automation of OTS/CafeOBJ MethodDaniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi. BIRTHDAY 2014: 578-602 [doi]