A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehiclesby Albert Rizaldi and Fabian Immler01 Jun