Startup suggests verifying self-driving cars like computer chips