Login / Signup
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method.
Masaki Nakamura
Shuki Higashi
Kazutoshi Sakakibara
Kazuhiro Ogata
Published in:
SICE (2020)
Keyphrases
</>
real time
mutual exclusion
formal verification
information systems
dynamic programming
web services
similarity measure
evolutionary algorithm
model checking
long distance