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.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

rv_ltl-0.1.0.tar.gz (5.0 kB view details)

Uploaded Jun 14, 2023 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

rv_ltl-0.1.0-py3-none-any.whl (6.6 kB view details)

Uploaded Jun 14, 2023 Python 3

File details

Details for the file rv_ltl-0.1.0.tar.gz.

File metadata

Download URL: rv_ltl-0.1.0.tar.gz
Upload date: Jun 14, 2023
Size: 5.0 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: poetry/1.5.1 CPython/3.10.11 Linux/5.15.0-1038-azure

File hashes

Hashes for rv_ltl-0.1.0.tar.gz
Algorithm	Hash digest
SHA256	`32d14792d7c17afca4c964d6569f12fb47e14185647f9a3489f6f34ff4f1e1c8`
MD5	`d838d9d6cc348eca5d83f1b36284f721`
BLAKE2b-256	`7c32cf45911ac6d02137a6a7df1cb290ec2323adf1555997359e9878cfb4bca5`

See more details on using hashes here.

File details

Details for the file rv_ltl-0.1.0-py3-none-any.whl.

File metadata

Download URL: rv_ltl-0.1.0-py3-none-any.whl
Upload date: Jun 14, 2023
Size: 6.6 kB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: poetry/1.5.1 CPython/3.10.11 Linux/5.15.0-1038-azure

File hashes

Hashes for rv_ltl-0.1.0-py3-none-any.whl
Algorithm	Hash digest
SHA256	`6019a3ccf8d5b499ac55ebc10fc07e2b0b43844fe1aaf1c4e81c47d5da20af47`
MD5	`ca0bdcac585da5df0d091a06afee9c88`
BLAKE2b-256	`ab33e54596156c28ab3cf5151d3c544be311304027695b2e53fd47f61f324334`