lmc-ext

Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)

Running Benchmarks

To run any benchmark (e.g., bakery.maude), you need to ensure symbolic-checker.maude is accessible to Maude.

1. Prerequisites:

   • Install Maude 3.3 or higher.
   • Copy src/symbolic-checker.maude to your Maude installation directory (or any directory in your MAUDE_LIB path).

2. Execution: Navigate to the benchmarks directory and run the desired benchmark:

   cd benchmarks
   maude bakery.maude