Universiteit Leiden

nl en

PhD defence

Reasoning about object-oriented programs: from classes to interfaces

  • J. Bian
Tuesday 21 May 2024
Academy Building
Rapenburg 73
2311 GJ Leiden


  • Prof.dr. F.S. de Boer
  • Prof.dr. M.M. Bonsangue


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

General information

Beadle's Office
+31 71 527 7211

This website uses cookies.  More information.