Towards rigorous analysis of open source software

Workshop proceedings with local publication by the University of OsloThis 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.Fundação para a Ciência e a Tecnologia (FCT