Metadata-Version: 2.4
Name: rv_ltl
Version: 0.1.1
Summary: Runtime Verification Linear Temporal Logic (RV-LTL) in Python
Author: Shun Kashiwa
Author-email: shunthedev@gmail.com
Requires-Python: >=3.8
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Programming Language :: Python :: 3.15
Description-Content-Type: text/markdown

# 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.

