On Lamport’s Critique of Compositional Reasoning

I have recently reviewed a journal paper that was describing very clever verification of a very sophisticated concurrent algorithm. I enjoyed the main ideas and the writing, and my only minor concern with respect to the work was the fact that the delivered result was giving very little insight to the potential clients of the … Continue reading On Lamport’s Critique of Compositional Reasoning

Advertisements