Verifying Liveness Properties by Verifying Safety Properties.

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

data sets
case study
desirable properties
database
neural network
social networks
image processing
wide range
model checking
structural properties
learning environment
cooperative
temporal logic