On the k-atomicity-verification problem

   Abstract