3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Roland Meyer, Sebastian Muskalla, Elisabeth Neumann
We consider the problems of liveness verification and liveness synthesis for recursive programs. The liveness verification problem (LVP) is to decide whether a given omega-context-…