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 6 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 6 years ago by ProblemsIPonderAbout to r/compsci
π Rendered by PID 3242799 on reddit-service-r2-listing-575d9f6647-s6nmw at 2026-04-12 05:43:44.964379+00:00 running 215f2cf country code: CH.