Browse Research and Tech Reports - Computer Science by Contributor "José Meseguer"

  • Stephens, Sam C (2018-05)
    Maude is an equational and rewriting logic specification tool. It allows a unique and simple way of specifying concurrent programs and lends itself nicely to verification. This senior thesis focuses specifically on patterns ...

    application/pdf

    application/pdfPDF (282kB)