This repository holds the artifacts of Christian Hein's 2023 bachelor's thesis "Handling Bitwise Operations in Deductive Program Verification: Case Study java.util.BitSet with KeY"
Title: Handling Bitwise Operations in Deductive Program Verification: Case Study java.util.BitSet with KeY Examtype: Bachelor's thesis Student: Christian Hein
Exam no.: AA-82079-11029 Language: English Start date: 12.01.2023 End date: 12.05.2023
Institute: Institute of Information Security and Dependability (KASTEL) Advisor: Wolfram Pfeifer, M. Sc. Reviewer: Prof. Dr. Bernhard Beckert