Kripke Structure
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS / ANALYSIS OF STRATEGIES USING MODEL CHECKING
Em métodos formais, uma das abordagens que vem obtendo sucesso nos últimos anos é a de verificação formal. Dentro desta, vem se destacando uma técnica chamada de verificação de modelos (model checking), na qual se verifica automaticamente a validade de propriedades em sistemas acerca do funcionamento de um sistema. Atualmente, a verificação de mode
Publicado em: 2003
-
2. Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Alfred Tarki, in presenting his semantical conception of truth - a definition for formalized languages -, captured Aristotle s classical conception of truth - this one, a correspondencial truth conception. Mikenberg, da Costa and Chuaqui, introduced a formal conception of pragmatic truth - da Costa s quasi-truth -, based on the theories of truth of some prag
Publicado em: 2003