This subject is intended to master the current solutions in Software Engineering for the validation and verification of software. This includes:
- knowledge of functional and non-functional techniques and tools for software validation at all levels (unit, integration, system);
- knowledge of techniques and tools for automatic reasoning; and
- knowledge of techniques and tools for formal verification.
(*)The teaching guide is the document in which the URV publishes the information about all its courses. It is a public document and cannot be modified. Only in exceptional cases can it be revised by the competent agent or duly revised so that it is in line with current legislation.