Repositório Institucional da UnB: Browsing DSpace

Showing results 1 to 6 of 6

Issue Date	Data de defesa	Title	Author(s)	Orientador(es)	Coorientador(es):
13-Aug-2024	31-Jan-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-Dec-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-Dec-2019	A Machine-Verified Theory of commuting strategies for product-line reliability analysis	Castro, Thiago Mael de	Alves, Vander Ramos	-
20-Apr-2015	7-Jan-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	-

Showing results 1 to 6 of 6

Browsing by Subject Verificação formal