Hypotheses Selection Applied to Trusted Computing
Available ressources :
Observed part of
Oslo
(annotated with LTL formula):
oslo_bench_hypotheses_filtering.tgz