Strategy-aware model checker
Load and model check Maude file:
Please select a Maude file and a Maude module defining the system and properties specification.