Automated Verification Tool for DHTML

Automated verification for client-side programs of DHTML applications has become necessary.
This is because DHTML applications are increasingly complicated in order to enhance the functionality
and usability of dynamic Web content. We are therefore motivated to create a tool for automatically
verifying a JavaScript program of a DHTML application against a specification describing the page flows.
The verification is based on a type inference technique focusing on DOM updates.