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

DOI10.1007/11823230_17zbMath1225.68081OpenAlexW1927895930MaRDI QIDQ3613390

Alexey Loginov, Mooly Sagiv, Thomas W. Reps

Publication date: 12 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11823230_17

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Data structures (68P05) Theory of software (68N99)

Related Items

The rewriting logic semantics project: a progress report, Programs with lists are counter automata, Matching Logic: An Alternative to Hoare/Floyd Logic, Juggrnaut: using graph grammars for abstracting unbounded heap structures, Automata-Based Termination Proofs