Browse Research and Tech Reports - Computer Science by Subject "reachability and rewriting logics, program verification"

  • Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José (2017-03-27)
    Reachability logic has been applied to K rewrite-rule-based language definitions as a language-generic logic of programs. It has been proved successful in verifying a wide range of sophisticated programs in ...


    application/pdfPDF (487kB)