Semantics-based program verifiers for all languages

    Daejun Park
    Daejun Park
    Shijiao Yuwen
    Shijiao Yuwen
    Yilong Li
    Yilong Li

    OOPSLA, pp. 74-91, 2016.

    Cited by: 79|Bibtex|Views68|Links
    EI

    Abstract:

    We present a language-independent verification framework that can be instantiated with an operational semantics to automatically generate a program verifier. The framework treats both the operational semantics and the program correctness specifications as reachability rules between matching logic patterns, and uses the sound and relativel...More

    Code:

    Data:

    Your rating :
    0

     

    Best Paper
    Best Paper of OOPSLA, 2016
    Tags
    Comments