Thee Oor Ree Ties Ze Inf Or Ma Ti-ka: Deze Tijd Vraagt om Verificatie van Software