Modular verification of assembly code with stack-based control abstractions.

Xinyu Feng Zhong Shao Alexander Vaynberg Sen Xiang Zhaozhong Ni

Published in: PLDI (2006)

Keyphrases

source code
control method
high level
trade off
face verification
neural network
control system
software engineering
model checking
optimal control
process control
static analysis
control problems
process planning