Static Analysis of Memory Models for SMT Encodings.

Thomas Haas René Pascasl Maseli Roland Meyer Hernán Ponce de León

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

static analysis
dynamic analysis
probabilistic model
learning algorithm
source code
test generation
artificial intelligence
case study
query language