Super-Dense Computation in Verification of Hybrid CSP Processes.

Dimitar P. Guelev Shuling Wang Naijun Zhan Chaochen Zhou

Published in: FACS (2013)

Keyphrases

constraint satisfaction problems
model checking
constraint satisfaction
data sets
np hard
computational models
efficient computation
process model
neural network
video sequences
np complete
constraint propagation
formal verification
verification method