Metadata-Version: 2.4
Name: umaudemc
Version: 0.17.0
Summary: Unified Maude model-checking utility
Author-email: ningit <ningit@users.noreply.github.com>
License-Expression: GPL-3.0-or-later
Project-URL: Homepage, https://github.com/fadoss/umaudemc
Project-URL: Bug Tracker, https://github.com/fadoss/umaudemc/issues
Project-URL: Documentation, https://github.com/fadoss/umaudemc
Project-URL: Source Code, https://github.com/fadoss/umaudemc
Classifier: Programming Language :: Python :: 3
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Scientific/Engineering
Classifier: Operating System :: OS Independent
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: maude>=1.0
Provides-Extra: ctlstar
Requires-Dist: pyModelChecking>=1.3.3; extra == "ctlstar"
Provides-Extra: yaml
Requires-Dist: pyaml; extra == "yaml"
Provides-Extra: plot
Requires-Dist: matplotlib; extra == "plot"
Provides-Extra: smc
Requires-Dist: scipy; extra == "smc"
Dynamic: license-file

# Unified Maude model-checking tool

Uniform interface for model checking LTL, CTL, CTL*, and μ-calculus properties
on standard and [strategy](https://maude.ucm.es/strategies)-controlled
[Maude](https://maude.cs.illinois.edu) specifications using built-in and
external backends. Models can also be extended with quantitative information
and be applied probabilistic and statistical model-checking techniques.

This tool can be used from the command line, from a graphical user interface,
and as a Python library. See the
[repository](https://github.com/fadoss/umaudemc) for additional information,
documentation, and examples.
