Foretellix, which Wants to Fix Software Bugs in Autonomous Cars, Raises $1.5 Million

Building on his career at Verisity and Cadence, Mr. Hollander hopes to create a common verification language for the testing of various scenarios in autonomous car development. "Unfortunately, you could never fix all the possible software flaws," Mr. Hollander said. "But you could make sure you have ...