Metadata-Version: 2.1
Name: rv-ltl
Version: 0.1.0
Summary: Runtime Verification Linear Temporal Logic (RV-LTL) in Python
Author: Shun Kashiwa
Author-email: shunthedev@gmail.com
Requires-Python: >=3.7,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
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.

