Indicadores
Sobre
● Palavra-chave
formal verification
Relacionadas
smt solving
quantifier instantiation
proof production
Discrete Event Systems
Large-scale systems
Observers
Ranking no sistema
24156ª de 130k palavras-chave
Professores
4
que já usaram o termo
Usos
4
menções no Lattes
Publicações
4
marcadas com o termo
Unidades
3
com produção na área
Departamentos
3
envolvidos
Visão geral
Professores
Publicações
Quem mais utilizou a palavra-chave
top 5
01
Haniel Moreira Barbosa
Instituto de Ciências Exatas · Ciência da Computação
1
usos
02
Patrícia Nascimento Pena
Escola de Engenharia · Engenharia Eletrônica
1
usos
03
Fernando Magno Quintão Pereira
Instituto de Ciências Exatas · Ciência da Computação
1
usos
04
Leandro Maia Silva
Coltec · Colégio Técnico
1
usos
Menções por ano
2007–2017
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
1
1
1
1
'07
'08
'10
'17
Distribuição por unidade
3 unidades
Instituto de Ciências Exatas
2
Coltec
1
Escola de Engenharia
1
Palavras-chave relacionadas
coocorrência
01
smt solving
1
02
quantifier instantiation
1
03
proof production
1
04
Discrete Event Systems
1
05
Large-scale systems
1
06
Observers
1
07
Tainted variable attack
1
08
PHP
1