C*: el lenguaje que une programación y verificación en C
Un lenguaje que promete borrar la frontera entre escribir código y demostrar que es correcto Un equipo de investigación presentó C*, un diseño de lenguaje *proof-integrated* para C que permite a los programadores incrustar bloques de prueba junto al código de implementación, manteniendo una vista única del estado de la demostración en tiempo real. El …









