Verification Runtime Analysis: Get the Most Out of Partial Verification.

Martin Ring Fritjof Bornebusch Christoph Lüth Robert Wille Rolf Drechsler

Published in: DATE (2020)

Keyphrases

formal analysis
bayesian networks
machine learning
search engine
computer vision
face verification
data mining
decision making
knowledge base
similarity measure
search algorithm
image analysis
statistical analysis
formal verification