Software assurance

Software seguro e fiable (Software Assurance).

Os ordenadores se averían - é un feito xa contrastado pola experiencia diaria. E cando o fan, adoita ser por un virus informático. Cando se trata dun sistema como control aéreo ou equipos médicos, o custo dun virus poden ser vidas humanas. Para evitar tales escenarios, investíganse ferramentas que produzan software sen erros. Traballando conjuntamente en MIT, investigadores Lynch e Garland desenvolveron unha linguaxe informática e ferramentas de programación para poder poñer a proba modelos de software antes de elaboralo.
Video sobre SA