A Framework for Verifying Depth-First Search Algorithms

MaRDI QIDQ7361011FDO

Authors Peter Lammich, René Neumann

Publication date 5 July 2016

Cited in

(4)

• A Fully Verified Executable LTL Model Checker
• Flow Networks and the Min-Cut-Max-Flow Theorem
• The Imperative Refinement Framework
• Transition Systems and Automata

This page was built for software: A Framework for Verifying Depth-First Search Algorithms