다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기
Formal aspects of computing, v.35 no.3, 2023년, pp.1 - 26
De Boer, Martin (Open University, Netherlands) , De Gouw, Stijn (Open University, Netherlands) , Klamroth, Jonas (FZI Research Center for Information Technology, Germany) , Jung, Christian (Karlsruhe Institute of Technology, Germany) , Ulbrich, Mattias (Karlsruhe Institute of Technology, Germany) , Weigl, Alexander (Karlsruhe Institute of Technology, Germany)
AI-Helper
Hash maps are a common and important data structure in efficient algorithm implementations. Despite their wide-spread use, real-world implementations are not regularly verified. In this article, we present the first case study of the IdentityHashMap class in the Java JDK. We specified its behavior u...
10.1007/978-3-319-49812-6
10.1007/978-3-030-61362-4_4
10.1007/978-3-030-61362-4_4
10.1007/978-3-319-72308-2_3
Cok, David R.. OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. Electronic proceedings in theoretical computer science, vol.149, 79-92.
10.1007/978-3-319-96142-2_28
10.1007/978-3-319-96145-3_10
10.1007/978-3-031-07727-2_4
10.5281/zenodo.6415339
Proceedings of the 2021 Formal Methods in Computer Aided Design (FMCAD’21) Durand Timothee 96 2021 Timothee Durand, Katalin Fazekas, Georg Weissenbacher, and Jakob Zwirchmayr. 2021. Model checking AUTOSAR components with CBMC. In Proceedings of the 2021 Formal Methods in Computer Aided Design (FMCAD’21). IEEE, 96-101.
Hatcliff, John, Leavens, Gary T., Leino, K. Rustan M., Müller, Peter, Parkinson, Matthew. Behavioral interface specification languages. ACM computing surveys, vol.44, no.3, 1-58.
10.1007/978-3-030-63461-2_11
Jackson, D., Damon, C.A.. Elements of style: analyzing a software design feature with a counterexample detector. IEEE transactions on software engineering, vol.22, no.7, 484-495.
10.1007/978-3-031-08166-8_14
10.1145/1629575.1629596
Knüppel, Alexander, Thüm, Thomas, Pardylla, Carsten, Schaefer, Ina. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. Electronic proceedings in theoretical computer science, vol.284, 53-70.
Donald E Knuth. 1963. Notes on “Open” Addressing. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4899.
Gary T. Leavens Erik Poll Curtis Clifton Yoonsik Cheon Clyde Ruby David Cok Peter Müller Joseph Kiniry Patrice Chalin Daniel M. Zimmerman et al. 2008. JML Reference Manual.
10.23919/DATE.2018.8341980
Meyer, B.. Applying 'design by contract'. Computer, vol.25, no.10, 40-51.
10.1007/978-3-319-19249-9_26
10.1145/3018610.3018624
10.1007/978-3-319-47846-3_5
Schlich, Bastian, Kowalewski, Stefan. Model checking C source code for embedded systems. International journal on software tools for technology transfer : STTT, vol.11, no.3, 187-202.
Algorithms, (4th ed.). Sedgewick Robert 2011 Robert Sedgewick and Kevin Wayne. 2011. Algorithms, (4th ed.).Addison-Wesley.
Zimmerman, D.M., Nagmoti, R.. JMLUnit: The Next Generation. Lecture notes in computer science, vol.6528, 183-198.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.