Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/shumbo/rv-ltl

Last synced: 2 days ago
JSON representation

Host: GitHub
URL: https://github.com/shumbo/rv-ltl
Owner: shumbo
Created: 2022-01-29T19:12:48.000Z (almost 3 years ago)
Default Branch: main
Last Pushed: 2023-06-14T17:55:07.000Z (over 1 year ago)
Last Synced: 2024-04-22T13:20:45.983Z (9 months ago)
Language: Python
Size: 73.2 KB
Stars: 1
Watchers: 2
Forks: 0
Open Issues: 1
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

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