• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    Partial Orders for Efficient BMC of Concurrent Software 
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • Partial Orders for Efficient BMC of Concurrent Software
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • Partial Orders for Efficient BMC of Concurrent Software
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Partial Orders for Efficient BMC of Concurrent Software

    View/Open
    TAUTSCHNIGPartialOrders2013POST.pdf (426.7Kb)
    Metadata
    Show full item record
    Abstract
    The vast number of interleavings that a concurrent program can have is typically identified as the root cause of the difficulty of automatic analysis of concurrent software. Weak memory is generally believed to make this problem even harder. We address both issues by modelling programs' executions with partial orders rather than the interleaving semantics (SC). We implemented a software analysis tool based on these ideas. It scales to programs of sufficient size to achieve first-time formal verification of non-trivial concurrent systems code over a wide range of models, including SC, Intel x86 and IBM Power.
    Authors
    Alglave, J; Kroening, D; Tautschnig, M
    URI
    http://qmro.qmul.ac.uk/xmlui/handle/123456789/3659
    Collections
    • Electronic Engineering and Computer Science [2362]
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.