A Verification Condition Visualizer.

Madiha Jami Andrew Ireland

Published in: VSTTE (2014)

Keyphrases

model checking
sufficient conditions
formal verification
visual representation
verification method
formal methods
person identification
database systems
face verification
false acceptance rate
data sets
search algorithm
three dimensional
decision making
information systems
social networks
neural network