Sistemas autônomos estão avançando mais rápido do que nossa capacidade de verificá-los. Enxames de drones. Veículos autônomos. Alvo de IA na borda. Os sistemas que tomam decisões estão evoluindo rapidamente. Os sistemas que provam que essas decisões estavam corretas não são.