PhD defence

Reasoning about object-oriented programs: from classes to interfaces

• J. Bian

Date

Tuesday 21 May 2024

Time

11:15 - 12:00

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)

[phone]
[phone]
[e-mail]

General information

Beadle's Office
[e-mail]
[phone]