PhD defence
Reasoning about object-oriented programs: from classes to interfaces
- J. Bian
- Date
- Tuesday 21 May 2024
- Time
- Location
-
Academy Building
Rapenburg 73
2311 GJ Leiden
Supervisor(s)
- Prof.dr. F.S. de Boer
- Prof.dr. M.M. Bonsangue
Summary
Software plays a crucial role in our interaction with the real world and is also embedded within some of the most critical systems. Ensuring that software is free of bugs and works as intended presents a significant challenge in software development.
Applying formal specifications to verify the correctness of object-oriented programs can be very beneficial, as even a minor error within widely used programs can lead to significant issues, such as system outages and failures. This thesis demonstrates the use of formal methods for systematically verifying state-of-art, real object-oriented programs.
We proposed techniques that are capable of specifying and verifying class, interface, and hierarchy structure in object-oriented programs. Taking the Java collection framework as a case study, we show the usefulness of our techniques.
PhD dissertations
Approximately one week after the defence, PhD dissertations by Leiden PhD students are available digitally through the Leiden Repository, that offers free access to these PhD dissertations. Please note that in some cases a dissertation may be under embargo temporarily and access to its full-text version will only be granted later.
Press enquiries (journalists only)
+31 (0)71 527 1521
nieuws@leidenuniv.nl
General information
Beadle's Office
pedel@bb.leidenuniv.nl
+31 71 527 7211