Thesis Topic Details

Topic ID:
3493
Title:
Multi-core Automated Software Verification
Supervisor:
Franck CASSEZ
Research Area:
Formal Methods, Software Engineering, Distributed Systems
Associated Staff
Assessor:
Ralf Huuck
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
--
Description:
The goal of this thesis is to design and implement a concurrent software verification algorithm.

Large code bases are usually composed of many files each of which has to be checked by automated software analysis techniques.
It is impossible to load all the files in memory and thus we need good strategies to analyse the files in sequence.

A prototype of the automated software analysis tool has been developed in Scala and the goal of this thesis is to add multi-file and multi-core support
to the prototype.
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.