LAFF – On Programming for Correctness Course
by EDX
Learn formal methods to build correct loop-based programs. Free course from UT Austin on edX.
Why this course
- Strong foundation in formal program correctness
- Teaches systematic algorithm derivation
- Highly applicable to numerical and scientific computing
- Emphasizes precision and logical reasoning
