4 ms·On the Unreasonable Effectiveness of PBT for Validating Formal Specifications1 points by matt_d 5mo ago