Project Abstract

The work of developing an automated tool for loop termination analysis serves to enhance software reliability, mitigate safety risks, streamline development processes, advance research in formal methods, meet industry demands, and contribute to best practices in software engineering.The timing for developing an automated tool for loop termination analysis is opportune due to the increasing complexity of software systems, advancements in computational techniques, demand for efficiency and automation, research focus on software verification, and the availability of resources and expertise in the fieldIn summary, the impact of developing an automated tool for loop termination analysis extends beyond individual software projects to encompass broader aspects of software reliability, safety, efficiency, and advancement in computer science research.The proposition of this research is to develop an automated tool for loop termination analysis that addresses critical challenges in computer science, enhances software reliability and safety, streamlines development processes, advances research in formal methods, meets industry demands, and promotes best practices in software engineering.By employing these methods: Literature Review, Empirical Evaluation, Algorithm Design and Implementation, User Interface Design, Error Handling for Non-Trivial Cases, Experimentation and Evaluation, Selection of Relevant Tools and Techniques.the research aims to develop a robust and effective automated tool for loop termination analysis, addressing critical challenges in computer science and software engineering.The Main findings of the research highlight the effectiveness and significance of automated loop termination analysis in enhancing software reliability, safety, and efficiency, advancing formal methods, meeting industry demands, and promoting best practices in software engineering.Overall, the findings of this research underscore the importance of automated loop termination analysis in ensuring software reliability, safety, and efficiency, and highlight the significant impact it can have on advancing the field of computer science and software engineering.

Keywords: Loop Termination Analysis, ,

 Conference Details

Session: Presentation Stream 14 at Presentation Slot 10

Location: GH043 at Wednesday 8th 09:00 – 12:30

Markers: Alma Rahat, Deshan Sumanathilaka (GTA)

Course: MSc Computer Science, Masters PG

Future Plans: I’m looking for an industry placement