[ ] Emphasise thoroughness of acq_rel test suite - exercises all the different assertion features that the checker should be able to check successfully.
[x] Update model checker performance analysis to note that counterexample finding is independent of the bound used - therefore possible to use it with time / memory bounds (dig up similar instances in the literature to justify this)
[x] Copy across lstlisting setup from last year (centering, syntax, captions, etc.)
acq_rel
test suite - exercises all the different assertion features that the checker should be able to check successfully.Update model checker performance analysis to note that counterexample finding is independent of the bound used - therefore possible to use it with time / memory bounds (dig up similar instances in the literature to justify this)Copy across lstlisting setup from last year (centering, syntax, captions, etc.)