#teachingprogramverification — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #teachingprogramverification, aggregated by home.social.
-
Teaching Program Verification in Dafny at Amazon (2023)
https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/
#HackerNews #TeachingProgramVerification #Dafny #Amazon #2023 #SoftwareEngineering #CodeQuality