umaudemc (pypi): Unified Maude model-checking utility
Keywords: maude|model-checking|verification