1. Tatsuya Abe Tomoharu Ugawa Toshiyuki Maeda1 and Kousuke Matsumoto. 2016. Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. arXiv:1608.05893. Tatsuya Abe Tomoharu Ugawa Toshiyuki Maeda1 and Kousuke Matsumoto. 2016. Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. arXiv:1608.05893.
2. Stephen M. Blackburn , Perry Cheng , and Kathryn S. McKinley . 2004 . Oil and Water? High Performance Garbage Collection in Java with MMTk. In 26th International Conference on Software Engineering. IEEE Computer Society Press , Edinburgh, 137–146. https://doi.org/10.1109/ICSE. 2004.1317436 10.1109/ICSE.2004.1317436 Stephen M. Blackburn, Perry Cheng, and Kathryn S. McKinley. 2004. Oil and Water? High Performance Garbage Collection in Java with MMTk. In 26th International Conference on Software Engineering. IEEE Computer Society Press, Edinburgh, 137–146. https://doi.org/10.1109/ICSE.2004.1317436
3. Howard Bowman , John Derrick , and Richard E. Jones . 1993 . Modelling Garbage Collection Algorithms. In International Workshop on Concurrency in Computational Logic , City University, London , 13 December 1993. Howard Bowman, John Derrick, and Richard E. Jones. 1993. Modelling Garbage Collection Algorithms. In International Workshop on Concurrency in Computational Logic, City University, London, 13 December 1993.
4. The Chromium Project. 2022. Memory safety. https://www.chromium.org/Home/chromium-security/memory-safety/ The Chromium Project. 2022. Memory safety. https://www.chromium.org/Home/chromium-security/memory-safety/
5. The Coq Development Team. 2017. The Coq Proof Assistant version 8.7.0. https://doi.org/10.5281/zenodo.1028037 10.5281/zenodo.1028037