É possível implementar a lógica como certa proposição p é verdadeira em um máximo de dois estados ao longo de um caminho em CTL?
Aos 25 anos, fiz o final do CA, trabalhando com o Big 4 e querendo passar para a consultoria. Devo dar o CAT 2016 para entrar na consultoria?