Metadata-Version: 2.1
Name: umaudemc
Version: 0.8
Summary: Unified Maude model-checking utility
Home-page: https://github.com/fadoss/umaudemc
Author: ningit
Author-email: ningit@users.noreply.github.com
License: GPLv3
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
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Topic :: Scientific/Engineering
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Description-Content-Type: text/markdown
Requires-Dist: maude (>=1.0)
Provides-Extra: ctl_
Requires-Dist: pyModelChecking (>=1.3.3) ; extra == 'ctl_'
Provides-Extra: yaml
Requires-Dist: pyaml ; extra == 'yaml'

# 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 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.


