Certification of open-source software: A role for formal methods?
Luís Soares BarbosaAntonio CeroneAlexander K. PetrenkoSiraj A. ShaikhPublished in: Comput. Syst. Sci. Eng. (2010)
Keyphrases
- open source software
- formal methods
- open source
- software development
- safety critical
- source code
- formal analysis
- software engineering
- process algebra
- model checking
- artificial intelligence
- open source software development
- mailing lists
- knowledge based systems
- formal specification
- open source projects
- free software
- development lifecycle
- maintenance effort
- knowledge acquisition
- decision making
- proprietary software
- database