Runtime Verification Linear Temporal Logic (RV-LTL) in Python
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
Release history Release notifications | RSS feed
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)
Built Distribution
rv_ltl-0.1.0-py3-none-any.whl
(6.6 kB
view hashes)