Programación · Avanzado
Verificado
Verificación automatizada
- Superó todos los controles automáticos: esquema, unicidad, HTTPS y enlace de la fuente activo, análisis de inyección de prompts y seguridad, y regla del paso de aprobación.
- No se registró el modelo que lo redactó.
- Revisión de un segundo modelo: x-ai/grok-4.3 (sin hallazgos críticos ni altos).
- Traducción al español: google/gemini-4-argon, revisada por openai/gpt-5.5.
- Verificado el .
- Solo controles automáticos y revisión por IA, no revisión humana.
Verificación formal de módulos compilados de WebAssembly
Demuestra propiedades de corrección y seguridad de código WebAssembly compilado mediante demostradores interactivos de teoremas
Usar con BotBento MarkdownEnglish
Abre BotBento. Pega el prompt en un bot; nada viene preconfigurado.
- Cuando ocurre algoEnvío de módulo binario a verificar
- DespuésCreación de especificaciones y prueba
- ResultadoInforme y script de demostración
Analiza binarios compilados de WebAssembly frente a especificaciones de comportamiento para generar demostraciones formales de corrección. El bot examina rutinas binarias, construye objetivos de precondición más débil e intenta resolver los objetivos de demostración para garantizar que el software cumpla con los requisitos previstos.
Prompt para empezar
BotBentoRecomendado
Inspecciona las funciones objetivo de WebAssembly y redacta especificaciones formales de corrección basadas en la documentación del módulo. Usa la terminal para ejecutar herramientas de verificación y resolver las obligaciones de demostración. Si las tácticas de demostración fallan, informa sobre los subobjetivos no demostrados y los posibles casos límite. Solicita siempre la aprobación del usuario antes de subir archivos de demostración o actualizar ramas del repositorio.