Project description

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.

Project details

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

0.1.0

Jun 14, 2023

0.1.0a2 pre-release

Apr 24, 2023

0.1.0a1 pre-release

Feb 27, 2022

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 hashes)

Uploaded Jun 14, 2023 Source

Built Distribution

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

Uploaded Jun 14, 2023 Python 3

Hashes for rv_ltl-0.1.0.tar.gz

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

Hashes for rv_ltl-0.1.0-py3-none-any.whl

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