Skip navigation
Universidade de Brasília

Browsing by Subject Verificação formal

Jump to: 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
or enter first few letters:  
Showing results 1 to 6 of 6
Date de publicationData de defesaTitreAuteur(s)Orientador(es)Coorientador(es):
13-aoû-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-déc-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-jui-202013-déc-2019A Machine-Verified Theory of commuting strategies for product-line reliability analysisCastro, Thiago Mael deAlves, Vander Ramos-
20-avr-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-oct-20144-jui-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-jui-2010Verificação de propriedades do cálculo גex em CoqCarvalho Segundo, Washington Luís Ribeiro deMoura, Flávio Leonardo Cavalcanti de-
Showing results 1 to 6 of 6