48 citations · 362 across the 28 of their papers we have counts for
1 paper · 1 filter
Swen Jacobs, Mouhammad Sakr, Marcus Völp
We present an algorithm for the repair of parameterized systems. The repair problem is, for a given process implementation, to find a refinement such that a given safety property i…