As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework.
CITATION STYLE
Hiep, H. D. A., Maathuis, O., Bian, J., de Boer, F. S., van Eekelen, M., & de Gouw, S. (2020). Verifying OpenJDK’s LinkedList using KeY. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12079 LNCS, pp. 217–234). Springer. https://doi.org/10.1007/978-3-030-45237-7_13
Mendeley helps you to discover research relevant for your work.