Explore Useability of Formal Verification in Software Unit Testing

Unit testing is an important but time-consuming part of the software development. The unit testing goal is to test (prove) error-prone functioning of the software units. There are several problems associated with unit testing such as costly maintenance or test case coverage. Formal verification allows to mathematically prove correctness of an algorithm. This project goal is to explore whether the formal verification might replace some of the unit testing.

Technologies and skills to meet on this project:

• Sofware design
• C++
• C++ Unit Testing framework(s)
• Formal Verification
• Isabelle