Browse Research and Tech Reports - Computer Science by Author "Parlato, Gennaro"

  • Madhusudan, P. Parthasarathy; La Torre, Salvatore; Parlato, Gennaro (Springer, 2010-04-18)
    We consider the verification of parameterized Boolean programs— abstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such programs can be model-checked by iteratively ...


    application/pdfPDF (218kB)