Shelly Grossman is a Co-founder & CTO at Certora.