Skip navigation
Universidade de Brasília

Navegando por Assunto Verificação formal

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 6 de 6
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
13-Ago-202431-Jan-2023Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAALGalvão, Danilo José BispoRodrigues, Genaína Nunes-
7-Mai-20113-Dez-2009Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordemAvelar, Andréia BorgesAyala-Rincón, MauricioGaldino, André Luiz
9-Jul-202013-Dez-2019A Machine-Verified Theory of commuting strategies for product-line reliability analysisCastro, Thiago Mael deAlves, Vander Ramos-
20-Abr-20157-Jan-2015Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaVieira, Thiago CoelhoNalon, Cláudia-
22-Out-20144-Jul-2014Verificação de implementações em hardware por meio de provas de correção de suas definições recursivasAlmeida, Ariane AlvesAyala-Rincón, Mauricio-
11-Mai-201113-Jul-2010Verificação de propriedades do cálculo גex em CoqCarvalho Segundo, Washington Luís Ribeiro deMoura, Flávio Leonardo Cavalcanti de-
Mostrando resultados 1 a 6 de 6