Resultados de la búsqueda a petición "verification"
Implementar ejecución simbólica sin comprobación de modelo
¿Cómo puedo implementarsymbolic execution paraparticular language sin usomodel checking yFinite State Machine (FSM) por ejemplonot comoJava Path Finder? Necesito un detalle al respecto. por ejemplo, ¿en qué idioma puedo implementar esta ejecución ...
Verifique si un ejecutable está firmado o no (signtool se usó para firmar ese exe)
En mi solicitud, necesito verificar si está firmado o no. Si está firmado, continúe la ejecución y salga de la aplicación si no. El signtool se usará para firmar la solicitud. ¿Hay algún código C # para hacer eso?
Google App Engine en el dominio de Google Apps
Tengo problemas para que mi dominio apunte a mi sitio web alojado con el motor de aplicaciones de Google. Aquí está el trasfondo ... tenga cuidado de separar los conceptos de "aplicaciones de google" (alojamiento de dominio, correo electrónico, ...
No se puede verificar la firma digital con Apache PDFBOX
Soy un novato en el uso de firmas digitales. En uno de los proyectos, estamos usando Apache PdfBox para procesar archivos PDF firmados digitalmente. Si bien podríamos probar todas las funciones, la verificación de archivos PDF firmados es algo ...
¿Cuántas simulaciones hay que hacer?
Hola, mi problema está más relacionado con la validación de un modelo. He hecho un programa en netlogo que voy a usar en un informe para mi tesis, pero ahora la pregunta es, ¿cuántas repeticiones (simulaciones) debo hacer para justificar ...
¿Cómo incrustar Systemverilog Interpreter usando DPI-C?
Descripción del problema: Diseño en SystemVerilog y escribo los bancos de pruebas en el mismo idioma. Quiero poder compilar mi diseño y probar diferentes funciones durante la simulación de la forma en que usaría un intérprete con e. Idealmente, ...
Error "No se pudo verificar el host SSL"
Cada vez que trato de conectar el git a través de eclipse marte, ingresé la URL de bitbucket como las instrucciones en este sitio ...
JTable Input Verifier
Estoy tratando de crear un verificador de entrada simple para una JTable. Terminé anulando el método: editStopped (). El problema es que el evento no incluye información sobre la celda que se ha actualizado. Este es mi "pseudocódigo": If ...
Mockito: Verificación con parámetros genéricos
Con Mockito puedo hacer lo siguiente: verify(someService).process(any(Person.class)); Pero, ¿cómo escribo esto siprocess toma unaCollection<Person> en su lugar? No puedo entender cómo escribirlo correctamente. Acabo de recibir errores de ...
¿Cómo manejar la verificación de clave de host ssh con 2 hosts diferentes en la misma dirección IP (pero cambiante)? [cerrado
Tengo 2 servidores ssh detrás de un firewall nat en una ubicación que cambia su IP pálida todos los días. Siempre están en la misma dirección IP pálida en un momento dado pero en diferentes puertos. Me estoy conectando al servidor A de esta ...
Página 2 de 2