1
Assuntos:
“...Verificação formal...”
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Dissertação
2
Assuntos:
“...Verificação formal...”
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Dissertação
3
Assuntos:
“...Verificação formal...”
Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
Tese
4
Assuntos:
“...Verificação Formal...”
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Dissertação
5
Assuntos:
“...Verificação formal...”
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Dissertação
6
7
Assuntos:
“...Verificação formal...”
Specification is law : safe creation and upgrade of ethereum smart contracts
Dissertação
8
Assuntos:
“...Verificação formal...”
Verificação limitada de modelos baseada em SMT para programas CUDA
Dissertação
9
Assuntos:
“...verificação formal...”
Modelagem, verificação formal e codificação de sistemas reativos autônomos
Tese
10
Assuntos:
“...Verificação formal de sistemas de estados finitos...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
11
Assuntos:
“...Verificação formal...”
Verificação de projetos de controle de veículos aéreos autônomos
Dissertação
12
Assuntos:
“...Verificação formal...”
Proposta de um modelo para inspeção da documentação gerada pelo grupo de processos de planejamento da gestão de escopo em projetos de sistema de TI de organizações públicas....
Dissertação
13
Assuntos:
“...Verificação formal...”
On the design of integrated modular avionics assisted by formal modeling.
Dissertação
14
Assuntos:
“...Verificação formal...”
Um estudo comparativo entre o teste de mutação e o MC/DC no desenvolvimento de software aeronáutico, utilizando-se o paradigma "Model Based Design"
Dissertação
15
Assuntos:
“...Verificação formal...”
WEBLAB : um ambiente de laboratórios de acesso remoto educacional
Tese
16
Assuntos:
“...Verificação formal...”
Modelagem e verificação formal do software embarcado de um simulador de satélite
Dissertação
17
Assuntos:
“...Verificação formal...”
Model checking aplicado a software embarcado crítico do satélite universitário ITASAT
Dissertação
18
Assuntos:
“...Verificação formal...”
Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado
Tese
19
Assuntos:
“...verificação formal...”
Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
Dissertação
20
Assuntos:
“...Verificação formal...”
Geração de propriedades sobre programas Java a partir de objetivos de teste
Tese