Angelic Verification: Precise Verification Modulo Unknowns.

Ankush Das Shuvendu K. Lahiri Akash Lal Yi Li

Published in: CAV (1) (2015)

Keyphrases

model checking
functional verification
formal verification
face verification
database
probability distribution
concurrent systems
asynchronous circuits
signature verification
formal methods
information technology
digital libraries
multi agent
three dimensional
image segmentation
knowledge base
feature selection