Crean herramientas para verificar sistemas para reactores nucleares

Lo llevan adelante investigadores de la Universidad Nacional de Río Negro y es para aplicarse en sistemas críticos del INVAP. Un grupo de científicos en computación se encuentra desarrollando un proyecto enfocado en la aplicación de técnicas de verificación formal de software para sistemas críticos en el campo de la producción de reactores nucleares en