Parameterized Static Analysis for Weak Memory Models.

Divyanjali Sharma Subodh Sharma

Published in: ISEC (2024)

Keyphrases

static analysis
dynamic analysis
neural network
probabilistic model
data sets
case study
database systems
source code