InVeST: A Tool for the Verification of Invariants.

Saddek Bensalem Yassine Lakhnech Sam Owre

Published in: CAV (1998)

Keyphrases

cost effective
user friendly
software tools
real time
neural network
social networks
computer vision
information systems
decision making
metadata
model checking
face verification