3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.FL2017
Liveness Verification and Synthesis: New Algorithms for Recursive Programs
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-…
cs.PL2015★ 1 cited
Lazy TSO Reachability
Ahmed Bouajjani, Georgel Calin, Egor Derevenetc +1
We address the problem of checking state reachability for programs running under Total Store Order (TSO). The problem has been shown to be decidable but the cost is prohibitive, na…
cs.LO2014★ 3 cited
Robustness against Power is PSPACE-complete
Egor Derevenetc, Roland Meyer
Power is a RISC architecture developed by IBM, Freescale, and several other companies and implemented in a series of POWER processors. The architecture features a relaxed memory mo…