Automated Verification Tool for DHTML.

Takaaki Tateishi Hisashi Miyashita Kouichi Ono Shin Saito

Published in: ASE (2006)

Keyphrases

automated verification
model checking
automated reasoning
computer vision
software tools
formal verification
database
data mining
similarity measure
data structure
heuristic search