# Contributing

This material is a work in progress.  If you have suggestions,
corrections, or questions, contact us by submitting a
[GitHub issue](https://github.com/model-checking/cbmc-starter-kit/issues).
If you have some examples of your own that you would like to contribute,
submit your contributions as a
[GitHub pull request](https://github.com/model-checking/cbmc-starter-kit/pulls).