%0 Conference Paper
%B Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software - TTSS
%D 2011
%T Towards rigorous analysis of Open Source Software
%A Luis Soares Barbosa
%A Pedro Rangel Henriques
%A Alejandro Sanchez
%E Sun Meng
%E Volker Stolz
%C Oslo, Norway
%I University of Oslo, RR-409
%P 77-89
%R http://hdl.handle.net/10852/8998
%X <p>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.</p>
%8 September
%> https://haslab.uminho.pt/sites/default/files/lsb/files/originalbrs11.pdf