Constructing Program Invariants via Solving QBF.

Shikun Chen Zhoujun Li Mengjun Li

Published in: TASE (2009)

Keyphrases

imperative programs
computer programs
finding optimal
multiscale
affine invariant
static analysis
nonlinear programming