Browse Illinois Research and Scholarship by Author "Moore, Brandon"

  • Rosu, Grigore; Moore, Brandon (unpublished, 2015-02-08)
    We present a program verification framework based on coinduction, which makes it feasible to verify programs directly against an operational semantics, without requiring intermediates like axiomatic semantics or ...

    application/pdf

    application/pdfPDF (252kB)