Trace Abstraction-Based Verification for Uninterpreted Programs.

Weijiang Hong Zhenbang Chen Yide Du Ji Wang

Published in: FM (2021)

Keyphrases

hardware designs
symbolic execution
model checking
bounded model checking
high level
formal verification
neural network
genetic algorithm
learning algorithm
answer sets
formal methods
fixpoint
signature verification
automatic programming
provably correct
false acceptance