1
Assuntos:
“...model checking...”
Teste e verificação formal do comportamento excepcional de programas Java
Dissertação
2
3
Assuntos:
“...Model Checking...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
4
Assuntos:
“...Model Checking...”
Automated verification and refutation of quantized neural networks
Dissertação
5
Assuntos:
“...Model checking...”
Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos
Dissertação
6
Assuntos:
“...Model checking...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
7
Assuntos:
“...Model Checking...”
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Dissertação
8
Assuntos:
“...Model checking...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
9
10
Assuntos:
“...model checking...”
Planejamento sob incerteza para metas de alcançabilidade estendidas
Tese
11
Assuntos:
“...Model Checking...”
Revisão de modelos formais de sistemas de estados finitos
Dissertação
12
Assuntos:
“...Bounded model checking...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
13
Assuntos:
“...Model checking...”
Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados
Dissertação
14
15
Assuntos:
“...Model checking...”
Uma metodologia para a geração de testes unitários baseada em extração de modelos
Dissertação
16
Assuntos:
“...Model checking...”
Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking
Dissertação
17
Assuntos:
“...Model Checking...”
Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments
Tese
18
19
Assuntos:
“...Bounded model checking...”
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Dissertação
20
Assuntos:
“...Bounded Model Checking...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação