19 citations · 20 across the 4 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…