3 citations · 4 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Realizability in Semantics-Guided Synthesis Done Eagerly
Roland Meyer, Jakob Tepe, Sebastian Wolff
We present realizability and realization logic, two program logics that jointly address the problem of finding solutions in semantics-guided synthesis. What is new is that we proce…
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…