1
2
3
“... development cycle. Model Checking is an automatic formal technique that allows verification of finite-state...”
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Dissertação
4
Assuntos:
“...Architectural conformance checking...”
REMEDY: architectural conformance checking for adaptive systems
Tese
5
Assuntos:
“...Fact-checking....”
Sem migué nas eleições: uma proposta de fact-checking colaborativo em São Luís/MA
Dissertação
6
Assuntos:
“...Statistical Model Checking...”
Statistical Model Checking no reposionamento de fármacos na Doença de Alzheimer
Tese
7
8
9
“... de Automated Fact Checking. Uma alternativa a se considerar na melhoria de qualquer problema de classificação...”
Combinação de classificadores para sistema de automated fact checking
Dissertação
10
Assuntos:
“...Fact-checking agency...”
A construção social da informação: análise do fact-checking no Brasil
Tese
11
“...Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome...”
Model checking CSPZ: Techniques to overcome state explosion
Tese
12
13
Assuntos:
“...Bounded model checking...”
Geração de casos de teste usando Bounded Model Checking
Dissertação
14
“.... O formato APNN é adequado para ser usado no Model Checking Kit (MCK). Por fim, prover um esquema de tradução...”
Verificação de modelos uml de software embarcado com model checking
Dissertação
15
Assuntos:
“...Fact-checking...”
Como as plataformas se apropriam de práticas jornalísticas de checagem : um olhar para a comunidade de notas
Dissertação
16
“... dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em Sys...”
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Dissertação
17
“... para aplicações espaciais. A primeira técnica é o model checking baseado no uso da ferramenta UPPAAL. O UPPAAL...”
Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
Tese
18
“...Este trabalho propõe e avalia a aplicação da técnica de verificação model checking...”
Model checking aplicado a software embarcado crítico do satélite universitário ITASAT
Dissertação
19
Assuntos:
“...[pt] FACT-CHECKING...”
[pt] CREDIBILIDADE E JORNALISMO: QUESTÕES SOBRE A INFLUÊNCIA DO FACT-CHECKING NA AUTORIDADE JORNALÍSTICA NO BRASIL
Tese
20
Assuntos:
“...Fact-checking...”
Fact-checking governamental: controle da informação e propaganda na agência de checagem do Governo do Ceará
Dissertação