Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods.

Daniel Schnetzer Fava

Published in: SEFM (2020)

Keyphrases

experimental data
formal methods
data sets
data analysis
input data
training data
data structure
database
formal model
data quality
probability distribution
temporal properties
data points
probabilistic model
prior knowledge
xml documents
artificial intelligence