Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.

Armando Castañeda Gilde Valeria Rodríguez

Published in: PODC (2023)

Keyphrases

asynchronous circuits
model checking
access control
face verification
neural network
case study
information systems
website
face recognition
expert systems
formal methods
signature verification
digital rights