Researcher profile

Steve J. Chapin

1 paper in the PaperMetrix corpus

Publications

Papers by this author

A Formally Veriﬁed Heap Allocator

2018 · Syracuse University Libraries (Syracuse University)

We present the formal verification of a heap allocator written in C. We use the Isabelle/HOL proof assistant to formally verify the correctness of the heap allocator at the source code level. The C source …