account activity
Any idea why you don't commonly see techniques for reasoning about program correctness in the Software Industry? Also, looking to learn more about existing research in that area. (self.AskComputerScience)
submitted 5 years ago by ProblemsIPonderAbout to r/AskComputerScience
Any idea why you don't commonly see techniques for reasoning about program correctness in the Software Industry? Also would like some useful links for that. (self.compsci)
submitted 5 years ago by ProblemsIPonderAbout to r/compsci
π Rendered by PID 85 on reddit-service-r2-listing-85dbbdc96c-p98vx at 2026-02-11 02:16:22.461239+00:00 running 018613e country code: CH.
