[throwthrow5643]

How to formally verify a single page web application?

[mdnahas]

Write the code and proofs in Coq. Coq can output OCaML. I believe OCaML can compile to JavaScript.

That will allow you to verify the pure functions. It will not verify the input/output that will also be necessary.

[Warwolt]

Depends on the properties you want to verify