Proving Nondeterministically Specified Safety Properties Using Progress Measures

Nils Klarlund Fred B. Schneider

Published in: Inf. Comput. (1993)

Keyphrases

desirable properties
structural properties
topological properties
neural network
social networks
multimedia
fuzzy sets
evaluation measures