FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.

Gerhard Schellhorn Monika Wedel Oleg Travkin Jürgen König Heike Wehrheim

Published in: SEFM (2018)

Keyphrases

case study
object recognition
formal proofs
databases
three dimensional
test bed
neural network
real world
decision making
face recognition
feature space
theorem prover