The Unreasonable Effectiveness of Property Testing for Validating Formal Specs proofsandintuitions.net 1 point by _doctor_love 18 minutes ago