Unified Maude model-checking tool
Uniform interface for model checking LTL, CTL, CTL*, and μ-calculus properties on standard and strategy-controlled Maude 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 for additional information, documentation, and examples.
1 maintainer
Metadata
1 maintainer
Release files for umaudemc 0.18.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| umaudemc-0.18.1-py3-none-any.whl | Python 3 | none | any | Details |
Release files / umaudemc-0.18.1-py3-none-any.whl
| Download URL | umaudemc-0.18.1-py3-none-any.whl |
|---|---|
| Size | 188.7 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
8ca5c32b609874c811d5d61b6f86b8db0e7b88e32bd8f4f9c2738feba4dcfa31
|
|
BLAKE2b-256 checksum How to use checksums |
b9a6e3919b46067376ff9834cc1db025c980b13b19998c5017a17b8dd58a3769
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.4
|
