The Unreasonable Effectiveness of Property Testing for Validating Formal SpecsThe Unreasonable Effectiveness of Property Testing for Validating Formal Specsproofsandintuitions.net7 pointsby _doctor_love0 commentsSharePost on XLinkedInCopy post