• POSIX and the verification grand challenge: A roadmap

    Thumbnail Image

    Files

    POSIX and the verification grand challenge.pdf (244.62 KB)

    Date

    2008

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Access

    Embargo end date

    Citation

    Freitas, L., Woodcock, J., Butterfield, A., POSIX and the verification grand challenge: A roadmap, IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2008, 153-162

    Abstract

    Description

    PUBLISHED
    Article number 4492888

    URI

    http://hdl.handle.net/2262/26439

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Computer Science
    Author's Homepage: http://people.tcd.ie/butrfeld

    Author: Butterfield, Andrew

    Other Titles: IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
    Type of material: Invited Talk