This MOOC teaches formal methods to systematically develop correct, loop-based programs. The course presents a methodology that illustrates goal-oriented programming, starting with the formalization of what is to be computed, and then growing the program hand-in-hand with its proof of correctness.
| Instructor: | Maggie Myers |
| Provided by: | edX |
| Course language: | English |
| Fees: | free course |
| Level: | intermediate |
| Certificate available? | (fee) |
| Format: | MOOC/online course |
How do you like the course 'LAFF – On Programming for Correctness'?
