W. David Elliott

• On proving the absence of execution errors