cegar-pt: A Tool for Abstraction by Program Transformation.

Dirk Beyer Marian Lingsch Rosenfeld Martin Spiessl

Published in: ASE (2023)

Keyphrases

high level
program understanding
neural network
hardware designs
real world
static analysis
search based software testing
artificial neural networks
control program