We have a diverse testing and verification toolkit at Auxon, but one of our most important tools is property-based ...