Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, azuhiro Ogata. Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. In 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020, Chiang Mai, Thailand, September 23-26, 2020. pages 1210-1215, IEEE, 2020. [doi]
Abstract is missing.