Browse Research and Tech Reports - Computer Science by Subject "Hoare Logic"

  • Rosu, Grigore; Stefanescu, Andrei (2012-05)
    This paper presents a nine-rule {\em language-independent} proof system that takes an operational semantics as axioms and derives program reachability properties, including ones corresponding to Hoare triples. This ...

    application/pdf

    application/pdfPDF (165Kb)