Sign in

Parameterized Static Analysis for Weak Memory Models.

Divyanjali SharmaSubodh Sharma
Published in: ISEC (2024)
Keyphrases
  • static analysis
  • dynamic analysis
  • neural network
  • probabilistic model
  • data sets
  • case study
  • database systems
  • source code