/home/runner/work/cbmc-documentation/cbmc-documentation/doc/architectural/background-concepts.md File Reference