no code implementations • 26 Aug 2022 • Micha Horlboge, Erwin Quiring, Roland Meyer, Konrad Rieck
We prove that the task of generating a $k$-anonymous program -- a program that cannot be attributed to one of $k$ authors -- is not computable and thus a dead end for research.
no code implementations • 28 Jan 2021 • Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
We show that safety verification is only \pspace-complete for the bounded model checking problem where the distinguished threads are loop-free.
Logic in Computer Science Programming Languages