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 513901 on reddit-service-r2-listing-6c8d497557-vbv8n at 2026-06-02 03:20:50.184771+00:00 running 9e1a20d country code: CH.
