Techniques & Tools of Software Verification in the Development of Reliable Software - IT Assignment Help

Assignment Task

For this part of the assessment, you are required to write a report on your understanding of the significance, main techniques & tools of software verification in the development of reliable software; and your personal experiences in using Coq verification to reason about & verify simple programs.
You should write a professionally presented report (about 2000 words), which explainyour understanding of why formal verification is needed in the development of reliable software systems and what is the role of formal verification in developing reliable software; discuss the range of verification techniques & tools in the state-of-the-art to certify software artefact; and discuss your experiences using Coq verification tool to verify programs.
Here are some hints:
• Introduction on formal verification and software reliability, describe briefly how the software reliability problem has changed over the years, what is the role of formal
verification in understanding and developing software, and why formal verification has been becoming a promising method in developing reliable software. You should
incorporate personal responsibility and professional codes of conduct into your practice through demonstrating your understanding of robust software development and possible implications.
• Do background reading, and a literature review around the area of formal verification techniques for reliable software development.
• Perform a comparative study and discussion on these formal verification techniques: strength and weakness, performance of verification tools, usefulness, real
applications/stories of these techniques and relevant tools.
• Discussion on your experiences of using the Coq verification tool to reason about & verify simple programs, compared to your experience writing the pen-paper proofs. More specifically, you should identify what went well, what you learned, how you solved issues, and how this experience will help you in your future learning and career choices.
• A conclusion to summarise your findings is also necessary.
• References

This IT Assignment has been solved by our IT experts at My Uni Paper. Our Assignment Writing Experts are efficient to provide a fresh solution to this question. We are serving more than 10000+ Students in Australia, UK & US by helping them to score HD in their academics. Our Experts are well trained to follow all marking rubrics & referencing style.
Be it a used or new solution, the quality of the work submitted by our assignment experts remains unhampered. You may continue to expect the same or even better quality with the used and new assignment solution files respectively. There’s one thing to be noticed that you could choose one between the two and acquire an HD either way. You could choose a new assignment solution file to get yourself an exclusive, plagiarism (with free Turnitin file), expert quality assignment or order an old solution file that was considered worthy of the highest distinction.