Skip navigation
Comunidades
Listar
Autor
Orientador
Coorientador
Título
Materia
Tipo
Fecha Publicación
???browse.menu.unidade???
???browse.menu.ppg???
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Servicios
Mi DSpace
Alertas
Editar perfil
Voltar
Repositório Institucional da UnB
Buscar por Materia Verificação formal
Ir a:
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
O introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
Data de defesa
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 6 de 6
Fecha de publicación
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es):
13-ago-2024
31-ene-2023
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Galvão, Danilo José Bispo
Rodrigues, Genaína Nunes
-
7-may-2011
3-dic-2009
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Avelar, Andréia Borges
Ayala-Rincón, Mauricio
Galdino, André Luiz
9-jul-2020
13-dic-2019
A Machine-Verified Theory of commuting strategies for product-line reliability analysis
Castro, Thiago Mael de
Alves, Vander Ramos
-
20-abr-2015
7-ene-2015
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Vieira, Thiago Coelho
Nalon, Cláudia
-
22-oct-2014
4-jul-2014
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Almeida, Ariane Alves
Ayala-Rincón, Mauricio
-
11-may-2011
13-jul-2010
Verificação de propriedades do cálculo גex em Coq
Carvalho Segundo, Washington Luís Ribeiro de
Moura, Flávio Leonardo Cavalcanti de
-