Thesis Topic Details

Topic ID:
3494
Title:
Design and Implementation of an Automated Software Verification Tool
Supervisor:
Franck Cassez
Research Area:
Software Engineering, Formal Methods, Programming Languages
Associated Staff
Assessor:
Ralf Huuck
Topic Details
Status:
Active
Type:
Development
Programs:
CS CE SE
Group Suitable:
Yes
Industrial:
Yes
Pre-requisites:
--
Description:
The goal of this thesis is to propose a software architecture for an automated software verification tool and to implement it.
A prototype of the software has been developed in Scala but to make it usable on large code bases, and extendable with new features (e.g. concurrency), a robust software architecture has to be designed and an efficient implementation is required.

Language for implementation: Scala (possibly Java)
Comments:
If you want to discuss the topic, send me an email and we can make an appointment.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.