Run CBMC to check three $($or more$)$ C programs $($of your own$)$ and report your findings about bounded model checking using CBMC$.$

Include or attach $($as Appendix$)$ all the C programs you tested.