Login / Signup

Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion.

Naoki NishiguchiTatsuhiro Tsuchiya
Published in: PRDC (2023)
Keyphrases
  • mutual exclusion
  • formal verification
  • case study
  • long distance
  • real world
  • orders of magnitude
  • learning algorithm
  • artificial intelligence
  • data structure
  • evolutionary algorithm