The goal of the project assignments is to get hands-on experience in software verification and validation.

Details about the project will be described soon....