Program Analysis Is Harder Than Verification: A Computability Perspective.

Patrick Cousot Roberto Giacobazzi Francesco Ranzato

Published in: CAV (2) (2018)

Keyphrases

model checking
np hard
asynchronous circuits
face verification
np complete
digital images
expert systems
high level
neural network
image processing
learning algorithm
information retrieval
data mining
real world
formal analysis
multiple perspectives
person identification
real time