Despite some bold predictions for autonomous vehicles (AVs) of late, enthusiasm for further development has stalled. Foretellix, an Israeli based start-up, believes that verifying the safety of an AV through a miles-driven approach is time-consuming and costly. Their focus is on the quality of coverage and offer a new language for AV developers to sustain development. To learn more, we spoke to CEO and co-founder Ziv Binyamini.