Specifying the Boundary Between Unverified and Verified Code.

David R. Cok K. Rustan M. Leino

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)

Keyphrases

source code
database
object boundaries
data sets
error correcting
boundary extraction
boundary estimation
real time
neural network
data mining
machine learning
three dimensional
search algorithm
data flow
cross section
fully functional