| Name | umaudemc JSON |
| Version |
0.13.1
JSON |
| download |
| home_page | None |
| Summary | Unified Maude model-checking utility |
| upload_time | 2024-03-24 16:39:35 |
| maintainer | None |
| docs_url | None |
| author | None |
| requires_python | >=3.7 |
| license | GPLv3 |
| keywords |
|
| VCS |
 |
| bugtrack_url |
|
| requirements |
No requirements were recorded.
|
| Travis-CI |
No Travis.
|
| coveralls test coverage |
No coveralls.
|
# 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.
Raw data
{
"_id": null,
"home_page": null,
"name": "umaudemc",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.7",
"maintainer_email": null,
"keywords": null,
"author": null,
"author_email": "ningit <ningit@users.noreply.github.com>",
"download_url": null,
"platform": null,
"description": "# Unified Maude model-checking tool\n\nUniform interface for model checking LTL, CTL, CTL*, and \u03bc-calculus properties\non standard and [strategy](https://maude.ucm.es/strategies)-controlled\n[Maude](https://maude.cs.illinois.edu) specifications using built-in and\nexternal backends. Models can also be extended with quantitative information\nand be applied probabilistic and statistical model-checking techniques.\n\nThis tool can be used from the command line, from a graphical user interface,\nand as a Python library. See the\n[repository](https://github.com/fadoss/umaudemc) for additional information,\ndocumentation, and examples.\n",
"bugtrack_url": null,
"license": "GPLv3",
"summary": "Unified Maude model-checking utility",
"version": "0.13.1",
"project_urls": {
"Bug Tracker": "https://github.com/fadoss/umaudemc/issues",
"Documentation": "https://github.com/fadoss/umaudemc",
"Homepage": "https://github.com/fadoss/umaudemc",
"Source Code": "https://github.com/fadoss/umaudemc"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "2c90ffcc8637f2d7632206b52ed018bba2d13316a5e30637315097a7f9a6ef4f",
"md5": "d01386938c37c88e842c56161e12f9a6",
"sha256": "74af1ad7aafe9d8fd93f9e0079fcacc499f891398a0bb85c75da7c605f69f211"
},
"downloads": -1,
"filename": "umaudemc-0.13.1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "d01386938c37c88e842c56161e12f9a6",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.7",
"size": 177008,
"upload_time": "2024-03-24T16:39:35",
"upload_time_iso_8601": "2024-03-24T16:39:35.687091Z",
"url": "https://files.pythonhosted.org/packages/2c/90/ffcc8637f2d7632206b52ed018bba2d13316a5e30637315097a7f9a6ef4f/umaudemc-0.13.1-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-03-24 16:39:35",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "fadoss",
"github_project": "umaudemc",
"travis_ci": false,
"coveralls": false,
"github_actions": false,
"lcname": "umaudemc"
}
