Verifying OpenJDK’s LinkedList using KeY

Autor: Hiep, H.-D., Maathuis, O., Bian, J., Boer, F. de, Eekelen, M. van, Gouw, S de, Biere, A.

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems
Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234
Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, 217-234. Cham : Springer
STARTPAGE=217;ENDPAGE=234;ISSN=0302-9743;TITLE=Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

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.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_dedup___::891af909d60144eacf3d2cc400fda0f8
https://doi.org/10.1007/978-3-030-45237-7_13

Measuring Corporate Images

Autor: van Riel, C B M, Stroeker, N E, Maathuis, O J M

Publikováno v: Corporate Reputation Review; July 1998, Vol. 1 Issue: 4 p313-326, 14p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.