Verifying Liveness Properties by Verifying Safety Properties.

Published in: CAV (1990)

Keyphrases

decision trees
data structure
structural properties
database
real time
data sets
databases
neural network
data mining
genetic algorithm
computer vision
information systems
natural language
digital libraries
desirable properties
key properties