[ prog / sol / mona ]

prog


How to prove that my web app is correct

1 2021-10-05 07:24

I hear things about formal verification and mathematical proofs of programs. Is all that applicable to web development? Is there a way to prove that my web application is correct?

4


VIP:

do not edit these