What does program logic actually mean? Find out inside PCMag's comprehensive tech and computer-related encyclopedia.

They proposed a program logic that can formally verify obstruction-freedom of practical implementations, as well as verify linearizability(a safety property), at the same time.