Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
DOI10.1007/978-3-642-32759-9_18zbMath1372.68062OpenAlexW2404373436MaRDI QIDQ4647844
Martin Strecker, Mathieu Giorgino
Publication date: 8 November 2012
Published in: FM 2012: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_18
binary decision diagrampointer algorithmsmodular program developmentverification of imperative algorithms
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Uses Software
This page was built for publication: Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction