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 journalArticle

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)273-281
    JournalComputer Systems Science and Engineering
    Volume25
    Issue number4
    Publication statusPublished - 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

    Cite this

    Certification of open-source software: A role for formal methods? / Barbosa, L.S.; Cerone, A.; Petrenko, A.K.; Shaikh, Siraj A.

    In: Computer Systems Science and Engineering, Vol. 25, No. 4, 07.2010, p. 273-281.

    Research output: Contribution to journalArticle

    Barbosa, L.S. ; Cerone, A. ; Petrenko, A.K. ; Shaikh, Siraj A. / Certification of open-source software: A role for formal methods?. In: Computer Systems Science and Engineering. 2010 ; Vol. 25, No. 4. pp. 273-281.
    @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 = "7",
    language = "English",
    volume = "25",
    pages = "273--281",
    journal = "Computer Systems Science and Engineering",
    issn = "0267-6192",
    publisher = "CRL Publishing",
    number = "4",

    }

    TY - JOUR

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

    AU - Barbosa, L.S.

    AU - Cerone, A.

    AU - Petrenko, A.K.

    AU - Shaikh, Siraj A.

    N1 - The full text is not available from the repository.

    PY - 2010/7

    Y1 - 2010/7

    KW - open source software

    KW - security

    KW - software analysis

    KW - software development

    KW - certification

    KW - formal methods

    M3 - Article

    VL - 25

    SP - 273

    EP - 281

    JO - Computer Systems Science and Engineering

    JF - Computer Systems Science and Engineering

    SN - 0267-6192

    IS - 4

    ER -