## STLmc
STLmc is an SMT-based bounded model checker for signal temporal logic (STL) of hybrid systems. The algorithm of the tool is refutationally complete for STL properties of bounded signals.
For more information about STLmc, please visit our [website](https://stlmc.github.io/)
### Features
* Bounded model checking
* Generating trajectories that falsify the given STL properties if any exists
* Supporting various SMT solvers (e.g., Z3, Yices2, dReal3)
Raw data
{
"_id": null,
"home_page": null,
"name": "stlmc",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": null,
"keywords": "stlmc, model checker, STL, signal temporal logic, bounded model checker",
"author": null,
"author_email": "Geunyeol Yu <rgyen@postech.ac.kr>",
"download_url": "https://files.pythonhosted.org/packages/00/94/00023810aa28f6ab236022eabae7dfdf995f41132f227d0a7a52929cbc06/stlmc-1.0.0.dev2.tar.gz",
"platform": null,
"description": "## STLmc\n\nSTLmc is an SMT-based bounded model checker for signal temporal logic (STL) of hybrid systems. The algorithm of the tool is refutationally complete for STL properties of bounded signals. \n\nFor more information about STLmc, please visit our [website](https://stlmc.github.io/)\n\n### Features\n\n* Bounded model checking\n* Generating trajectories that falsify the given STL properties if any exists\n* Supporting various SMT solvers (e.g., Z3, Yices2, dReal3)",
"bugtrack_url": null,
"license": "GPLv3",
"summary": "An SMT-based bounded model checker for signal temporal logic",
"version": "1.0.0.dev2",
"project_urls": {
"Bug tracker": "https://github.com/stlmc/stlmc/issues",
"Documentation": "https://stlmc.github.io/assets/files/stlmc-manual.pdf",
"Homepage": "https://stlmc.github.io/",
"Source code": "https://github.com/stlmc/stlmc/"
},
"split_keywords": [
"stlmc",
" model checker",
" stl",
" signal temporal logic",
" bounded model checker"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "4aeee2be441963b6dde747ba64f575cecb2a6a6cd0b7a84416b0c177d9d89add",
"md5": "beb8556b80e21c6ca43c17735e292747",
"sha256": "72cfd617f003bb522774458104422dfca3440a823a1d97a15791283d0007acbc"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp310-cp310-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "beb8556b80e21c6ca43c17735e292747",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": ">=3.8",
"size": 3186891,
"upload_time": "2024-08-14T04:44:28",
"upload_time_iso_8601": "2024-08-14T04:44:28.287037Z",
"url": "https://files.pythonhosted.org/packages/4a/ee/e2be441963b6dde747ba64f575cecb2a6a6cd0b7a84416b0c177d9d89add/stlmc-1.0.0.dev2-cp310-cp310-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "006c193eaf1a096e23e2d3e6f576f569b15cb0bde8e3e4b3742429e127920999",
"md5": "fa878310af95d1129c509af623a52fa7",
"sha256": "3d13ab58c5d2958786168e6cc4a6703bf24516ba587bae73cf1d9d6c257bea39"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "fa878310af95d1129c509af623a52fa7",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": ">=3.8",
"size": 4062152,
"upload_time": "2024-08-14T04:44:30",
"upload_time_iso_8601": "2024-08-14T04:44:30.646916Z",
"url": "https://files.pythonhosted.org/packages/00/6c/193eaf1a096e23e2d3e6f576f569b15cb0bde8e3e4b3742429e127920999/stlmc-1.0.0.dev2-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "880bf72414d99e31e92d1e88815d68ab9dedbbfc51ff4ebaf57f0d8a3b6ca391",
"md5": "e39097998cfbbd13062c024d36991087",
"sha256": "df4126227297077e834a571c6d8fcd48e590a950ea86b1723668827f222d83d7"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp311-cp311-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "e39097998cfbbd13062c024d36991087",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": ">=3.8",
"size": 3186892,
"upload_time": "2024-08-14T04:44:32",
"upload_time_iso_8601": "2024-08-14T04:44:32.110683Z",
"url": "https://files.pythonhosted.org/packages/88/0b/f72414d99e31e92d1e88815d68ab9dedbbfc51ff4ebaf57f0d8a3b6ca391/stlmc-1.0.0.dev2-cp311-cp311-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "58f432efb63391ad09b309ad2d345a73367af7fb9fccb581f9fe1e53d725c105",
"md5": "4caf43cf630a06c4b5aee11abc8cde4e",
"sha256": "0136aa2477a59800dd300f21d8ed1b8cad9e318c4590bfc63803639811b9ac40"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "4caf43cf630a06c4b5aee11abc8cde4e",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": ">=3.8",
"size": 4062154,
"upload_time": "2024-08-14T04:44:34",
"upload_time_iso_8601": "2024-08-14T04:44:34.004630Z",
"url": "https://files.pythonhosted.org/packages/58/f4/32efb63391ad09b309ad2d345a73367af7fb9fccb581f9fe1e53d725c105/stlmc-1.0.0.dev2-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "ba38624b7a37ccef2ecdb7d60b580c8f2f5f35e34b768be7584da4b9781b0f44",
"md5": "1a119e66696c5cf26eed09e3e5ba11cf",
"sha256": "93fbd5d16587e6e6d4a7a9336291ad691f0020b48a3a8e17ce301bb8eaf12255"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp312-cp312-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "1a119e66696c5cf26eed09e3e5ba11cf",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": ">=3.8",
"size": 3186890,
"upload_time": "2024-08-14T04:44:35",
"upload_time_iso_8601": "2024-08-14T04:44:35.521528Z",
"url": "https://files.pythonhosted.org/packages/ba/38/624b7a37ccef2ecdb7d60b580c8f2f5f35e34b768be7584da4b9781b0f44/stlmc-1.0.0.dev2-cp312-cp312-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "40447b16b83d1554f650bc3a3dec1f17cf6972b75521038cd00ea550c699b2c7",
"md5": "686acfbdd00ac22d2739bdd3fc19676b",
"sha256": "dd81d1aecee99497b83b48fbaba17531fc25ff95fabdb1c3d59cd1be1ecd1d8e"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "686acfbdd00ac22d2739bdd3fc19676b",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": ">=3.8",
"size": 4062155,
"upload_time": "2024-08-14T04:44:37",
"upload_time_iso_8601": "2024-08-14T04:44:37.080393Z",
"url": "https://files.pythonhosted.org/packages/40/44/7b16b83d1554f650bc3a3dec1f17cf6972b75521038cd00ea550c699b2c7/stlmc-1.0.0.dev2-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "6dd20e040217e096f6fb2014e0ab14b07de654faaa96341863a8d23a20d6b86b",
"md5": "f4d6dded63046bda7ad8b85ad97624e6",
"sha256": "862a8196e50d0e9a97d2ca29e1d9773ccdc1007ac4af75f3de86c669f260a677"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp38-cp38-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "f4d6dded63046bda7ad8b85ad97624e6",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": ">=3.8",
"size": 3186889,
"upload_time": "2024-08-14T04:44:39",
"upload_time_iso_8601": "2024-08-14T04:44:39.231763Z",
"url": "https://files.pythonhosted.org/packages/6d/d2/0e040217e096f6fb2014e0ab14b07de654faaa96341863a8d23a20d6b86b/stlmc-1.0.0.dev2-cp38-cp38-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "bec4bb4a54a505eaf5c57668990264e3003c0dba4fb3921a9dc14a90df1e55f9",
"md5": "0d6dd7e39d79750cdc783556e20224ba",
"sha256": "12b9fb873e9ce80cbbf2adcaf3a06a65b487107afaafef347b12e0c8e9ee3034"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "0d6dd7e39d79750cdc783556e20224ba",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": ">=3.8",
"size": 4062153,
"upload_time": "2024-08-14T04:44:40",
"upload_time_iso_8601": "2024-08-14T04:44:40.965555Z",
"url": "https://files.pythonhosted.org/packages/be/c4/bb4a54a505eaf5c57668990264e3003c0dba4fb3921a9dc14a90df1e55f9/stlmc-1.0.0.dev2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d886197f50bfabe37b0c7af659e884fb671195dc5b8f407230017b36b1328ad4",
"md5": "1fd5026eb9a9199b602eec3e89974966",
"sha256": "929ca2f9ff75f4aafbe1e066acea418e88a91a25903f9d9228fd7134e6d686ad"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp39-cp39-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "1fd5026eb9a9199b602eec3e89974966",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.8",
"size": 3186889,
"upload_time": "2024-08-14T04:44:42",
"upload_time_iso_8601": "2024-08-14T04:44:42.634338Z",
"url": "https://files.pythonhosted.org/packages/d8/86/197f50bfabe37b0c7af659e884fb671195dc5b8f407230017b36b1328ad4/stlmc-1.0.0.dev2-cp39-cp39-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "6a756c626216b35abee03dcfd1e6ad4954e8ae6ef398e3f1a613a999d7466f5f",
"md5": "d9b5bf53b9fadb68ace629cc2b135d63",
"sha256": "6b108a5a73374c21b26bf7d333197e9c2a642dc0d5f42b5eee5091d5821cb504"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "d9b5bf53b9fadb68ace629cc2b135d63",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.8",
"size": 4062152,
"upload_time": "2024-08-14T04:44:44",
"upload_time_iso_8601": "2024-08-14T04:44:44.078115Z",
"url": "https://files.pythonhosted.org/packages/6a/75/6c626216b35abee03dcfd1e6ad4954e8ae6ef398e3f1a613a999d7466f5f/stlmc-1.0.0.dev2-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "009400023810aa28f6ab236022eabae7dfdf995f41132f227d0a7a52929cbc06",
"md5": "25f8cb3f18d03960e5efb840ec03672f",
"sha256": "a237a4ecd45626e2813b4029afa79cdfd2a87c9a26c3c4f854cf2ca401a80433"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev2.tar.gz",
"has_sig": false,
"md5_digest": "25f8cb3f18d03960e5efb840ec03672f",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 5090668,
"upload_time": "2024-08-14T04:44:45",
"upload_time_iso_8601": "2024-08-14T04:44:45.867187Z",
"url": "https://files.pythonhosted.org/packages/00/94/00023810aa28f6ab236022eabae7dfdf995f41132f227d0a7a52929cbc06/stlmc-1.0.0.dev2.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-08-14 04:44:45",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "stlmc",
"github_project": "stlmc",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "stlmc"
}
JSON
