software · 5 menciones
El model checking de estados finitos —la verificación de sistemas mediante la exploración exhaustiva de todos sus estados posibles— ha sido técnicamente superado desde mediados de los años noventa por el model checking simbólico, capaz de manejar tamaños de modelo muy superiores. Sin embargo, sigue
El artículo repasa los argumentos del clásico paper de 1979 'Social Processes and Proofs of Theorems and Programs', que sostenía que la verificación formal de programas estaba abocada al fracaso, y los contrasta con la situación actual. En 1979, los autores defendían que las demostraciones matemátic
La liquidación financiera transfronteriza sigue siendo lenta y costosa, con costes medios de remesa en torno al 6% del importe enviado y solo un tercio de los pagos minoristas internacionales liquidándose en menos de una hora. Keeta es una red blockchain de reciente lanzamiento, diseñada para pagos
Este artículo del blog de loskutoff.com explora el uso de Model-Based Testing (MBT) para simular y verificar el complejo sistema de combate de Dungeons & Dragons (D&D). El objetivo es ir más allá de las pruebas básicas y validar la viabilidad completa del juego, especialmente en escenarios con inter
Informal Systems ha desarrollado una herramienta llamada Quint para mejorar la fiabilidad del código generado por modelos de lenguaje grandes (LLMs). La herramienta surge de la preocupación por la creciente dependencia de la IA en la programación y la dificultad de validar la corrección del código g