Interested in online learning?

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

Edx logo
Provider: edX
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

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
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

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

Other online courses in Computer Science, IT