Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. - Masaki Nakamura 001; Shuki Higashi; Kazutoshi Sakakibara; Kazuhiro Ogata 001 (SICE, 2020)

Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. - Masaki Nakamura 001; Shuki Higashi; Kazutoshi Sakakibara; Kazuhiro Ogata 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)