Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method.

Neil Henderson

Browse the full FM paper archive.