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.0
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.0.tar.gz | 5.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| rv_ltl-0.1.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 11.6 kB
Release files / rv_ltl-0.1.0.tar.gz
| Download URL | rv_ltl-0.1.0.tar.gz |
|---|---|
| Size | 5.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
32d14792d7c17afca4c964d6569f12fb47e14185647f9a3489f6f34ff4f1e1c8
|
|
BLAKE2b-256 checksum How to use checksums |
7c32cf45911ac6d02137a6a7df1cb290ec2323adf1555997359e9878cfb4bca5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/1.5.1 CPython/3.10.11 Linux/5.15.0-1038-azure
|
Release files / rv_ltl-0.1.0-py3-none-any.whl
| Download URL | rv_ltl-0.1.0-py3-none-any.whl |
|---|---|
| Size | 6.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
6019a3ccf8d5b499ac55ebc10fc07e2b0b43844fe1aaf1c4e81c47d5da20af47
|
|
BLAKE2b-256 checksum How to use checksums |
ab33e54596156c28ab3cf5151d3c544be311304027695b2e53fd47f61f324334
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/1.5.1 CPython/3.10.11 Linux/5.15.0-1038-azure
|
