Mooly Sagiv is a Co-Founder & CEO at Certora.