Browse by Author "La Torre, Salvatore"

  • P. Parthasarathy, Madhusudan; 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/pdf

    application/pdfPDF (218Kb)