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.
| Dozent: | Maggie Myers |
| Bereitgestellt von: | edX |
| Kurssprache: | Englisch |
| Kosten: | kostenlos |
| Level: | Vorkenntnisse |
| Zertifikat erhältlich? | (Gebühr) |
| Format: | MOOC/Online-Kurs |
Wie gefällt Dir der Kurs 'LAFF – On Programming for Correctness'?
