O foco na verificação formal sinaliza uma transição de sistemas experimentais para sistemas de produção.