Refinar a Busca

• Retirar os Filtros
Assunto: Bounded model checking

• Recursos
3 TEDE - Universidade Federal do Amazonas

• Grau
3 Dissertação

• Assunto
Bounded model checking 2 Software 1 Agoritmo de slicing 1 CIÊNCIAS EXATAS E DA TERRA 1 Caching 1 ENGENHARIAS: ENGENHARIA ELETRICA Mais ... 1 ENGENHARIAS: ENGENHARIA ELÉTRICA 1 Framework (Arquivo de computador) 1 Framework Qt 1 Fuzzing 1 Large systems 1 Modelo operacional 1 Open-source software 1 Operações bit a bit 1 SMT solving 1 Security vulnerabilities 1 Sistema de armazenamento 1 Sistema de transição 1 Sistemas de grande escala 1 Software - Proteção 1 Software de código aberto 1 Software gratuito 1 Software verification 1 Testcase generation 1 Verification 1 Verificação de software 1 Verificação formal 1 Vulnerabilidades de segurança menos ...

• Autor
1 Menezes, Rafael Sá 1 Sousa, Janislley Oliveira de 1 Souza, Adriana Silva de

• Idioma
2 português 1 inglês

• Ano da publicação
De:
Até: