Version used to produce the results for the STTT submission (extended version of the TACAS'20 publication). This is the version included in the artifact accompanying the submission.
Version used to produce the results for the STTT submission (extended version of the TACAS'20 publication). This is the version included in the artifact accompanying the submission.