> For the complete documentation index, see [llms.txt](https://docs.runtimeverification.com/kontrol/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.runtimeverification.com/kontrol/cheatsheets.md).

# Cheatsheets

- [Kup Cheatsheet](https://docs.runtimeverification.com/kontrol/cheatsheets/kup-cheatsheet.md)
- [Kontrol Cheatsheet](https://docs.runtimeverification.com/kontrol/cheatsheets/kontrol-cheatsheet.md): Cheatsheet with (almost) all Kontrol options and gotchas
- [Cheatcodes](https://docs.runtimeverification.com/kontrol/cheatsheets/cheatcodes.md): Learn about Kontrol's cheatcodes for testing and verification