SOFTWARE FIABLE Y SEGURO (SOFTWARE ASSURANCE)

Después de ser demostrado que los ordenadores se averían por la experiencia diaria o también por un virus informático lo cual en casos como el control aéreo o en equipos médicos un virus costa vidas se están desarrollando herramientas que produzcan software sin errores. Trabajando conjuntamente en MIT, investigadores Lynch y Garland han desarrollado un lenguaje informático y herramientas de programación para poder poner ha prueba modelos de software antes de elaborarlo.