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 May 2
Ends Dec 31
LAFF – On Programming for Correctness
At a glance
- Institution:
UTAustinX
- Subject: Computer Science
- Level: Intermediate
- Prerequisites: None
- Language: English
- Video Transcript: English
- Associated skills:Formal Methods, Scientific Computing, Computer Science, Operations, Linear Algebra, Goal-Oriented, Algorithms, MATLAB
Interested in this course for your business or team?
Train your employees in the most in-demand topics, with edX For Business.