Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Assunto Verificação formal

Mostrando resultados 1 a 10 de 10

A Machine-Verified Theory of commuting strategies for product-line reliability analysis
Alves, Vander Ramos
Castro, Thiago Mael de
9-Jul-2020
★★★★★ (0)
A Machine-Verified Theory of commuting strategies for product-line reliability analysis
Alves, Vander Ramos
Castro, Thiago Mael de
9-Jul-2020
★★★★★ (0)
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Ayala-Rincón, Mauricio; Galdino, André Luiz
Avelar, Andréia Borges
7-Mai-2011
★★★★★ (0)
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Ayala-Rincón, Mauricio; Galdino, André Luiz
Avelar, Andréia Borges
7-Mai-2011
★★★★★ (0)
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Nalon, Cláudia
Vieira, Thiago Coelho
20-Abr-2015
★★★★★ (0)
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Nalon, Cláudia
Vieira, Thiago Coelho
20-Abr-2015
★★★★★ (0)
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)
Verificação de propriedades do cálculo גex em Coq
Moura, Flávio Leonardo Cavalcanti de
Carvalho Segundo, Washington Luís Ribeiro de
11-Mai-2011
★★★★★ (0)
Verificação de propriedades do cálculo גex em Coq
Moura, Flávio Leonardo Cavalcanti de
Carvalho Segundo, Washington Luís Ribeiro de
11-Mai-2011
★★★★★ (0)

Mostrando resultados 1 a 10 de 10