Verifying OpenJDK's LinkedList using KeY: Additional artefacts belonging to master thesis

The file testcases.tar.gz contains source code files w.r.t. 64 test cases carried out for this thesis. It also contains log files that contain output of these test cases. The latter are also contained in the file Appendix.pdf, which serves as an on-line appendix for the thesis. Other sources which are of importance for the thesis can be found in https://doi.org/10.5281/zenodo.3517081. Three proof files have been re-established for the purpose of describing these proofs in the thesis. Thus: they deviate from the ones that can be found in https://doi.org/10.5281/zenodo.3517081. These three can be found in the file "Three renewed proof files.zip". It concerns proof files for lastIndexOf(Object), linkFirst(Object), and addFirst(Object). https://doi.org/10.5281/zenodo.3517081 is a link that has been created to store artefacts w.r.t. a paper for the TACAS conference in April 2020 in Dublin, Ireland. The paper carries the same title as this thesis.压缩包testcases.tar.gz包含为本论文开展的64个测试用例对应的源代码文件，同时包含记录各测试用例运行输出的日志文件。上述日志文件亦收录于附录.pdf中，该文件作为本论文的在线附录。本论文所需的其他重要参考资料可通过链接https://doi.org/10.5281/zenodo.3517081获取。为便于在本论文中阐述相关证明内容，我们重新整理了三份证明文件。因此，这三份文件与https://doi.org/10.5281/zenodo.3517081中收录的原始版本存在差异。该三份重新整理的证明文件可在压缩包"Three renewed proof files.zip"中获取，其分别对应lastIndexOf(Object)、linkFirst(Object)及addFirst(Object)三个方法的证明文件。链接https://doi.org/10.5281/zenodo.3517081是为存储2020年4月于爱尔兰都柏林举办的TACAS（国际工具与算法大会，Tools and Algorithms for the Construction and Analysis of Systems）会议论文对应的研究工件而创建的，该论文与本论文标题一致。