Demystifying Template-Based Invariant Generation for Bit-Vector Programs.

Peisen Yao Jingyu Ke Jiahui Sun Hongfei Fu Rongxin Wu Kui Ren

Published in: ASE (2023)

Keyphrases

bit vector
bit vectors
databases
affine invariant
affine transformation
neural network
genetic algorithm
real world
programming environment
generation algorithm
artificial intelligence
image processing
high level
multiscale
computer programs
geometric transformations
real time