Browse Dept. of Computer Science by Subject "model-checking"
Now showing items 1-1 of 1
(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 ...