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'?