Reducing Commutativity Verification to Reachability with Differencing Abstractions.

Eric Koskinen Kshitij Bansal

Published in: CoRR (2020)

Keyphrases

model checking
state space
face verification
high level
formal verification
concurrent systems
neural network
data mining
transitive closure
verification method
e learning
knowledge base
face recognition
relational databases
high security