Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.

Armando Castañeda Gilde Valeria Rodríguez

Published in: CoRR (2023)

Keyphrases

asynchronous circuits
model checking
access control
face verification
delay insensitive
data sets
verification method
neural network
computer vision
database systems
formal methods
privacy policies
asynchronous communication
asynchronous cellular automata