Buscas alternativas:
logicas temporais » logica temporal (Expandir a busca), logicas modais (Expandir a busca)
logicas temporais » logica temporal (Expandir a busca), logicas modais (Expandir a busca)
1
Assuntos:
“...Lógicas temporais...”
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Dissertação
2
Assuntos:
“...Lógicas temporais...”
Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de software
Dissertação