Formal Program Verification in Java

Etter, Marc (2022) Formal Program Verification in Java. Other thesis, OST Ostschweizer Fachhochschule.

[thumbnail of Marc Etter_18513_assignsubmission_file_Formal_Program_Verification_in_Java.pdf] Text
Marc Etter_18513_assignsubmission_file_Formal_Program_Verification_in_Java.pdf - Supplemental Material

Download (747kB)


Formal verification is usually taught with a focus on functional languages, such as Agda, or specialized languages, such as Dafny. However, it remains a fact that these languages are not very commonly used in mainstream software development.
Nevertheless, strong guarantees about correctness of software remain highly desirable in nearly all applications. This paper attempts to bridge the gap between formal verification methods and mainstream software development. To achieve this goal, the paper presents state-of-the-art tools and technologies that can be used to formally verify Java programs. Futhermore, a focus is set on ease-of-use and learning simplicity, as a measure for how viable a tool is for use during teaching at the bachelor’s level.

Item Type: Thesis (Other)
Subjects: Technologies > Frameworks and Libraries > JavaEE
Metatags > IFS (Institute for Software)
Divisions: Master of Advanced Studies in Software Engineering
Depositing User: Stud. I
Thesis advisor
Mehta, Farhad
Date Deposited: 05 Sep 2022 18:43
Last Modified: 29 Mar 2023 15:01

Actions (login required)

View Item
View Item