Specification and verification of policy using RAISE and modelchecking.

Tao Zhang Shaobin Huang Tian-yang Lv Hongtao Huang

Published in: BMEI (2011)

Keyphrases

formal verification
formal methods
asynchronous circuits
protocol specification
model checking
optimal policy
high level
formal specification
colored petri nets
real time
verification method
face verification
case study
policy makers
e learning
databases
concurrent systems
false acceptance rate