1 code implementation • 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 in the general case.
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