Verification of the Schorr-Waite Algorithm – From Trees to Graphs
From MaRDI portal
Publication:3003486
DOI10.1007/978-3-642-20551-4_5zbMath1326.68095MaRDI QIDQ3003486
Ralph Matthes, Martin Strecker, Marc Pantel, Mathieu Giorgino
Publication date: 27 May 2011
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20551-4_5
05C85: Graph algorithms (graph-theoretic aspects)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software