Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes.

Robert J. Shaw, Ronald A. Olsson

Browse the full PDPTA paper archive.