Certification of open-source software: A role for formal methods?

L.S. Barbosa; A. Cerone; A.K. Petrenko; Siraj A. Shaikh

Certification of open-source software: A role for formal methods?

L.S. Barbosa, A. Cerone, A.K. Petrenko, Siraj A. Shaikh

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	273-281
Journal	Computer Systems Science and Engineering
Volume	25
Issue number	4
Publication status	Published - Jul 2010

Bibliographical note

The full text is not available from the repository.

Keywords

open source software
security
software analysis
software development
certification
formal methods

Access to Document

http://www.crlpublishing.co.uk/journal.asp?j=csse&s=Vol 25 2010

Cite this

@article{237c2d427bdc49cdaf5e92ce2f253ff7,

title = "Certification of open-source software: A role for formal methods?",

keywords = "open source software, security, software analysis, software development, certification, formal methods",

author = "L.S. Barbosa and A. Cerone and A.K. Petrenko and Shaikh, {Siraj A.}",

note = "The full text is not available from the repository.",

year = "2010",

month = jul,

language = "English",

volume = "25",

pages = "273--281",

journal = "Computer Systems Science and Engineering",

issn = "0267-6192",