1
Assuntos:
“...model checking...”
Teste e verificação formal do comportamento excepcional de programas Java
Dissertação
2
Assuntos:
“...Model Checking...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
3
4
Assuntos:
“...Model Checking...”
Automated verification and refutation of quantized neural networks
Dissertação
5
Assuntos:
“...Model checking...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
6
Assuntos:
“...Model Checking...”
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Dissertação
7
Assuntos:
“...Model checking...”
Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos
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
Assuntos:
“...Model checking...”
Uma metodologia para a geração de testes unitários baseada em extração de modelos
Dissertação
15
Assuntos:
“...Model Checking...”
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Tese
16
Assuntos:
“...Bounded Model Checking...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação
17
Assuntos:
“...Bounded model checking...”
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Dissertação
18
Assuntos:
“...Probabilistic Model-Checking...”
Systematic model-based safety assessment via probabilistic model checking
Dissertação
19
20
Assuntos:
“...Model checking...”
A refinement based strategy for locally verifying networks of CSP processes
Dissertação