A Dynamic Logic for Deductive Verification of Concurrent Programs.

Bernhard Beckert, Vladimir Klebanov

Browse the full SEFM paper archive.