Documentation & Examples

Below is a quick start example to use Posto:

from System import *

# Example usage
s = System("/home/path/to/logs/logFile.lg", "equation", "home/path/to/model/modelFile.json")
s.generateLog(init, timestamp, prob, dtlog)
s.checkSafety()

More examples and detailed documentation can be found here.

Recreating Results Once the tool is downloaded and set up, the experimental results can be reproduced using the script provided in our GitHub repository, with detailed usage instructions available here.