Program
Verification
Book

PV1 ⊧ py-metric-temporal-logicmanipulates and evaluates metric temporal logic formulae

Python library for working with Metric Temporal Logic (MTL)

Library MTL Python

Links

https://github.com/mvcisback/py-metric-temporal-logic

Last commit date: 24 Sep 2022 (default branch)
Last commit date: 24 Sep 2022 (last activity)

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by VerifAI
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.