Formalization and Verification of Go-based New Simple Queue System.

Danyang Wang Jiaqi Yin Sini Chen Huibiao Zhu

Published in: IWESQ/QuASoQ@APSEC (2023)

Keyphrases

data sets
computer vision
special case
formal model
formal analysis
real time
data mining
machine learning
optimal solution
face verification
highly reliable
queueing theory