Efficient verification by exploiting symmetry and abstraction.

Hiroshi Toshima Tomohiro Yoneda

Published in: Systems and Computers in Japan (2001)

Keyphrases

formal verification
model checking
databases
computationally efficient
cost effective
computationally expensive
database
e learning
multiresolution
lightweight
highly efficient