4 ms·The Unreasonable Effectiveness of Property Testing for Validating Formal Specs7 points by _doctor_love 2mo ago