1
Assuntos:
“...[en] MODEL CHECKING...”
[en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS
Tese
2
3
Assuntos:
“...model checking...”
Teste e verificação formal do comportamento excepcional de programas Java
Dissertação
4
5
Assuntos:
“...Model Checking...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
6
7
Assuntos:
“...Model Checking...”
Automated verification and refutation of quantized neural networks
Dissertação
8
Assuntos:
“...Model checking...”
Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos
Dissertação
9
Assuntos:
“...Model checking...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
10
Assuntos:
“...Model Checking...”
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Dissertação
11
Assuntos:
“...Model checking...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
12
13
Assuntos:
“...model checking...”
Planejamento sob incerteza para metas de alcançabilidade estendidas
Tese
14
Assuntos:
“...Model Checking...”
Revisão de modelos formais de sistemas de estados finitos
Dissertação
15
Assuntos:
“...Bounded model checking...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
16
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
17
18
Assuntos:
“...Model checking...”
Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking
Dissertação
19
Assuntos:
“...Statistical Model Checking...”
Statistical Model Checking no reposionamento de fármacos na Doença de Alzheimer
Tese
20
Assuntos:
“...Probabilistic Model-Checking...”
Systematic model-based safety assessment via probabilistic model checking
Dissertação