JSLint, The JavaScript Code Quality Tool
The JavaScript Verifier takes a JavaScript source and scans it. If it finds a problem, it returns a message describing the problem and an approximate location within the source. It does not prove that your program is correct.