Browse Research and Tech Reports - Computer Science by Subject "formal specification and verification"

  • Griffith, Dennis; Gunter, Elsa L. (2012-11-30)
    In this paper, we introduce SLeRCN, an extension of Strategy Logic (SL). The extensions syntactic and semantic. The main syntactic extensions include lifting the restrictions in Chatterjee et al. [7] that formulae must be ...


    application/pdfPDF (256kB)