Safe Validation of Pricing Agreements. - John Kolesar; Tancrède Lepoint; Martin Schäf; Willem Visser (SEIP@ICSE, 2025)