Unified Maude model-checking tool
Load and model check Maude file:
Please select a Maude file and a Maude module defining the system and properties specification.