Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.

Alexey Loginov, Thomas W. Reps, Mooly Sagiv

Browse the full SAS paper archive.