*.ltl
*.csv
run.mk
formulas
stutter_invariance_formulas
stutter_invariance_randomgraph