LinDMT: LTLf Model Checking Modulo Theories

Download

Sources

LinDMT's Python sources can be obtained as a zip archive. Please check the README file for instructions and requirements.

Benchmarks

The benchmarks used in the paper are also available as a zip file. Note that the properties used for the experiments in the paper are listed in the bottom of each json file; the sources archive above contains a script to run LinDMT on all of them.