Modular Verification Scopes via Export Sets and Translucent Exports.

K. Rustan M. Leino Daniel Matichuk

Published in: Principled Software Development (2018)

Keyphrases

model checking
neural network
case study
face verification
set theoretic
real time
real world
machine learning
search engine
knowledge base
optimal solution
expert systems
color images
formal verification