Comment by throwthrow5643

How to formally verify a single page web application?