3 ms·
How to formally verify a single page web application?
How to formally verify a single page web application?
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.
Depends on the properties you want to verify