Towards rigorous analysis of open source software
Luís Soares Barbosa, Pedro Rangel Henriques, Alejandro Sánchez · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2011
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.