Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).

Julia Gabet Nobuko Yoshida

Published in: Dagstuhl Artifacts Ser. (2020)

Keyphrases

object detection
detection method
detection algorithm
false positives
false alarms
detection rate
mutual exclusion
real time
neural network
e learning
case study
domain independent
computer programs
vehicle detection