rv-ltl
rv-ltl is a Python package that implements Runtime Verification Linear Temporal Logic (RV-LTL), which was presented in A. Bauer, M. Leucker and C. Schallhart, "Comparing LTL Semantics for Runtime Verification," in Journal of Logic and Computation, vol. 20, no. 3, pp. 651-674, June 2010, doi: 10.1093/logcom/exn075.
2 maintainers
Metadata
2 maintainers
Release files for rv_ltl 0.1.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| rv_ltl-0.1.1.tar.gz | 4.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| rv_ltl-0.1.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 11.5 kB
Release files / rv_ltl-0.1.1.tar.gz
| Download URL | rv_ltl-0.1.1.tar.gz |
|---|---|
| Size | 4.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
909c82b776fafc20d6be30f690f48b5bd8dcc44e8e115339838e39c2f63fb489
|
|
BLAKE2b-256 checksum How to use checksums |
10994d63ac3c02bda6ae7a1e75917b95bd37ed869573f9715f5faac7a7148cb0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/2.5.1 CPython/3.10.21 Linux/6.17.0-1022-azure
|
Release files / rv_ltl-0.1.1-py3-none-any.whl
| Download URL | rv_ltl-0.1.1-py3-none-any.whl |
|---|---|
| Size | 6.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
2ce97da62d186cf3188f8d9fda814db197361594089716ed57448ca732d89dfa
|
|
BLAKE2b-256 checksum How to use checksums |
11568fa7cd017c9f98a35a001e62f684875e3db2f4cebeb5058df4c74c59c37b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/2.5.1 CPython/3.10.21 Linux/6.17.0-1022-azure
|
