Skip to content

v2.3
Compare
Choose a tag to compare
@jackbergus jackbergus released this 30 Sep 18:33
v2.3
e4d1e78
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This version is associated to the following paper:

G. Bergami "Streamlining Temporal Formal Verification over Columnar Databases". Information. 2024. (Dataset [1,2])

This repository is associated with a Dockerfile. Therefore, a possible way to start in from a Linux environment is the following:

docker build -t "conference:DockerConference" .
docker run -it "conference:DockerConference" bash

The docker file will also automatically run the tests associated to the programs. As suggested in the paper, please also consider running the
given code using the dataset and scripts provided online via OSF.

The updated version of FoodBroker for generating logs from temporal graphs is available here: https://github.com/jackbergus/foodbroker/releases/tag/v1.1

Assets 2
Loading