There is no more important question int he world of autonomous vehicle development than the one that has become something of a conference panel cliche: "how safe is safe enough?" The Israeli startup Foretellix isn't trying to answer that question themselves, but they are developing the tools with which companies and regulators may someday verify the safety of autonomous vehicles. Co-founder and CEO Ziv Binyamini explains why this task is so challenging, how Foretellix is developing a testing and measurement paradigm using techniques pioneered in chip design and who might adopt it as autonomous vehicles come closer to reality.