Luis Soares Barbosa

Citation:

Barbosa LS, Henriques PR, Sanchez A.  2011.  Towards rigorous analysis of Open Source Software. Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software - TTSS. :77-89.

Date Presented:

Abstract:

This paper discusses the (often hidden) potential of Open Source Software development to resort to, benefit from and cross-fertilize formal engineering methods, whose role is indisputable in the production of trustworthy software components. A strategy addressing the incorporation of formal verification methods in the Open Source Software lifecycle, in a somewhat less conventional way — that of assisting the re-engineering process of running code — is proposed.

Citation Key: