# Browse by Author "P. Parthasarathy, Madhusudan"

• (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

PDF (218Kb)