
UTAustinX: LAFF – On Programming for Correctness
Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.
7 weeks
4–6 hours per week
Self-paced
Progress at your own speed
Free
Optional upgrade available
There is one session available:
After a course session ends, it will be archivedOpens in a new tab.
Starts Nov 29
LAFF – On Programming for Correctness
At a glance
- Institution:
UTAustinX
- Subject: Computer Science
- Level: Intermediate
- Prerequisites: None
- Language: English
- Video Transcript: English
- Associated skills: Scientific Computing, Goal-Oriented, Linear Algebra, Formal Methods, Operations, Algorithms, MATLAB, Computer Science
Interested in this course for your business or team?
Train your employees in the most in-demand topics, with edX For Business.