Automatically Proving UNITY Safety Properties with Arrays and Quantifiers.

Xavier Thirioux

Published in: IPPS/SPDP Workshops (1998)

Keyphrases

first order logic
automatically generated
structural properties
database
real time
data sets
databases
neural network
decision making
web services
multi agent
search algorithm
desirable properties