최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
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)
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...
Cok, David R.. OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. Electronic proceedings in theoretical computer science, vol.149, 79-92.
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.
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.
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.
Meyer, B.. Applying 'design by contract'. Computer, vol.25, no.10, 40-51.
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 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.