This repository contains model checking codes for OACP protocol using Maude. To run the test cases, you can

1. Download maude suited for your own system from here: http://maude.cs.illinois.edu/w/index.php/Maude_download_and_installation
2. Enter Maude by executing the binary file such as "./maude.darwin64"
3. Load the maude file and see the running result. "load oacp.maude"