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

# VM Instructions

- [Acki Nacki VM Instructions](https://dev.ackinacki.com/vm-instructions/acki-nacki-vm-instructions.md)
- [Formal Verification](https://dev.ackinacki.com/vm-instructions/formal-verification.md): About Formal Verification approach
- [Acki Nacki VM Instructions Business-Level Specification](https://dev.ackinacki.com/vm-instructions/formal-verification/acki-nacki-vm-instructions-business-level-specification.md): Prepared by Pruvendo