Resultados da pesquisa a pedido "verification"
implementar execução simbólica sem verificação de modelo
Como posso implementarsymbolic execution paraparticular language sem utilizarmodel checking eFinite State Machine (FSM) por exemplonot tal comoJava Path Finder? Eu preciso de um detalhe sobre isso. por exemplo, em qual idioma eu posso implementar ...
Verifique se um executável está assinado ou não (ferramenta de sinalização usada para assinar esse exe)
Na minha inscrição, preciso verificar se está assinado ou não. Se estiver assinado, continue a execução e saia do aplicativo, se não estiver. A ferramenta de sinalização será usada para assinar o aplicativo. Existe algum código C # para fazer isso?
Google App Engine no domínio do Google Apps
Estou tendo problemas para direcionar meu domínio para o meu site hospedado no Google App Engine. Aqui está o plano de fundo ... separe os conceitos de "google apps" (hospedagem de domínio, email etc.) e "google app engine" (estrutura ...
Não foi possível verificar a assinatura digital usando o Apache PDFBOX
Sou novato no uso de assinaturas digitais. Em um dos projetos, estamos usando o Apache PdfBox para processar arquivos PDF assinados digitalmente. Embora possamos testar todos os recursos, a verificação de arquivos PDF assinados é algo que não ...
password_verify não verifica o hash
Eu hash minhas senhas inseridas via password_hash. Eu os verifico usando password_verify. No entanto, quando insiro uma senha com hash no meu banco de dados e tento verificar, as duas saídas sempre diferem uma da outra. minhas páginas são as ...
Quantas simulações precisam ser feitas?
Olá meu problema está mais relacionado à validação de um modelo. Eu fiz um programa no netlogo que vou usar em um relatório para minha tese, mas agora a pergunta é: quantas repetições (simulações) eu preciso fazer para justificar meus resultados? ...
Como incorporar o Systemverilog Interpreter usando o DPI-C?
Descrição do Problema: Eu desenho no SystemVerilog e escrevo os bancos de teste no mesmo idioma. Quero poder compilar meu design e testar diferentes funções durante a simulação da maneira que você usaria um intérprete com e. Idealmente, eu teria ...
Erro "O host SSL não pôde ser verificado"
Sempre que tento conectar o git via eclipse mars, inseri o URL do bitbucket como as instruções neste ...
JTable Input Verifier
Estou tentando criar um simples verificador de entrada para uma JTable. Acabei substituindo o método: editionStopped (). O problema é que o evento não inclui informações sobre a célula que foi atualizad Este é o meu "pseudo código": If (user ...
Mockito: Verificando com parâmetros genéricos
Com o Mockito, posso fazer o seguinte: verify(someService).process(any(Person.class)); Mas como eu escrevo isso seprocess Leva umCollection<Person> em vez de? Não consigo descobrir como escrevê-lo corretamente. Apenas obtendo erros de sintaxe ...