Interested in online learning?

Edukatico will keep you updated from time to time. (You can stop this at any time.)

Content

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. 

University of Texas at Austin

Teacher: Maggie Myers
Provided by: edX
Course language: English
Fees: free course
Level: intermediate
Certificate possible? (fee)
Format: MOOC/online course

How do you like the course 'LAFF – On Programming for Correctness'?

Other online courses in Computer Science, IT