7th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2013), Monday 23 September 2013, Madrid, Spain,
http://opencert.iist.unu.edu, at the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), September 25-27, 2013, Madrid, Spain, http://antares.sip.ucm.es/sefm2013
Context / Objectives
Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software-based services are developed, distributed and deployed. Widely acknowledged benefits of OSS include reliability, low development and maintenance costs, as well as rapid code turnover. Linux distributions, Apache and MySQL server, and Moodle LMS are, among many other examples, a testimony to its success and resilience.
