Unser »Experte« Tom und der Auszubildende/Student Kevin sprechen über die formale Verifikation von Software.