Virtual Learning - CS709

Métodos formales para la Ingeniería de Software

CS709 - Formal Methods For Software Engineering

---------------------------------------------------------------------

This is a course in formal methods for specifying, validating and verifying software systems. Topics include program specification and verification through Hoare's logic and Dijkstra's weakest preconditions, formal specification and refinement towards implementation, integration of formal methods with existing programming languages and object-oriented approaches, model-based specifications, comparison of formal techniques.

Course Learning Outcomes

-------------------------------------

At the completion of the course, you should be able to answer the following questions:

* Understand the basics of Hoare’s logic.

* Write program specifications in terms of pre- and post-conditions.

* Use formal techniques for verification of programs.

* Use formal techniques for derivation of programs from their formal specifications.

* Learn Design by Contract and Object Constraint Language (OCL).

* Develop basic understanding of Algebraic and Model based specifications.

Note: This application doesn't require any credentials to use and neither it ask for any username/password. Its a free application that provides a support for students to access their lectures, slides and handouts without the need to login to the VLMS every time. This is a non-profit app and will always be. Thats why its FREE!!!