A Verification Method Based on Homomorphic Model Abstractions (Abstract).

Published in: PODC (1994)

Keyphrases

high level
verification method
neural network
objective function
statistical model
experimental data
hierarchical structure
low level
management system
markov random field
em algorithm
computational model
privacy preserving
process model
mathematical model
model checking