Certification of opensource software A role for formal methods?

Barbosa, Luis S., Petrenko, Alexander K., Cerone, Antonio and Shaikh, Siraj A ORCID: 0000-0002-0726-3319 (2010) Certification of opensource software A role for formal methods? International Journal of Computer Systems Science Engineering, 25 (4 SRC). pp. 273-281.

Full text not available from this repository.


Despite its huge success and increasing incorporation in complex,industrial-strength applications, open source software, by the very nature of its open, unconventional, distributed development model, is hard to assess and certify in an effective, sound and independent way. This makes its use and integration within safety or security-critical systems,a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods which aim at pushing software analysis and development to the level of a mature engineering discipline. This paper discusses such a challenge and proposes a number of ways in which open source development may benefit from the whole patrimony of formal methods.

Item Type: Article
Article Type: Article
Uncontrolled Keywords: Open source software certification; formal methods; software quality
Related URLs:
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Schools and Research Institutes > School of Business, Computing and Social Sciences
Research Priority Areas: Applied Business & Technology
Depositing User: Ineke Tijsma
Date Deposited: 11 Mar 2015 11:17
Last Modified: 07 Aug 2023 13:22
URI: https://eprints.glos.ac.uk/id/eprint/1407

University Staff: Request a correction | Repository Editors: Update this record

University Of Gloucestershire

Bookmark and Share

Find Us On Social Media:

Social Media Icons Facebook Twitter Google+ YouTube Pinterest Linkedin

Other University Web Sites

University of Gloucestershire, The Park, Cheltenham, Gloucestershire, GL50 2RH. Telephone +44 (0)844 8010001.