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 journalArticlepeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)273-281
    JournalComputer Systems Science and Engineering
    Issue number4
    Publication statusPublished - Jul 2010

    Bibliographical note

    The full text is not available from the repository.


    • open source software
    • security
    • software analysis
    • software development
    • certification
    • formal methods

    Cite this