say i wanted to prove that two programs were equivalent (either rigorously if possible, or informally if not). more specifically, say i have something relatively complex such as an http server ... reference-request proof-techniques model-checking research asked days ago lance pollard silver badges bronze...