Arithmetic Bit-Level Verification Using Network Flow Model.

Maciej J. Ciesielski Walter Brown André Rossi

Published in: Haifa Verification Conference (2013)

Keyphrases

probabilistic model
network flow
optimization model
training data
high level
objective function
network flow formulation