UFMG
Somos UFMG
Última atualização do sistema: 12.08.2025
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
formal verification
utilizada 5 vezes por 4 professores
Utilizada por 4 professores
Por ordem de relevância (total: 4)
Leandro Maia Silva
Fernando Magno Quintão Pereira
Haniel Moreira Barbosa
Patrícia Nascimento Pena
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "formal verification"
Discrete Event Systems
Dynamic Languages
Large-scale systems
Observers
PHP
Tainted variable attack
benchmarks
combinational equivalence checking
formal verification
proof production
quantifier instantiation
sat solvers
smt solving
CTIT UFMG