Formal Software Verification

Online Course

edX
Formal Software Verification

What is the course about?

Formal Software Verification
The course Formal Software Verification is an online class provided by University System of Maryland,UMUC through edX. The skill level of the course is Introductory. It may be possible to receive a verified certification or use the course to prepare for a degree.

Learn software quality techniques beyond just running test cases.

Course description

Want to gain software quality skills used in mission critical systems? Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working correctly. In this course, part of the Software Testing and Verification MicroMasters program, you will learn how to perform these techniques. The concepts from this course can be applied to any programming language and testing software.

Prerequisites & Facts

Formal Software Verification

Course Topic

Computer Science, Engineering

University, College, Institution

University System of Maryland,UMUC

Course Skill Level

Introductory

Course Language

English

Place of class

Online, self-paced (see curriculum for more information)

Degree

Certificate

Degree & Cost

Formal Software Verification

To obtain a verified certificate from edX / University System of Maryland,UMUC you have to finish this course or the latest version of it, if there is a new edition. The class may be free of charge, but there could be some cost to receive a verified certificate (249.00 USD) or to access the learning materials. The specifics of the course may have been changed, please consult the provider to get the latest quotes and news.
University System of Maryland,UMUC
Formal Software Verification
provided by edX

Reviews

Share your experience

Formal Software Verification
University System of Maryland,UMUC edX
Rate the course

Do you recommend the course? *
Here you can find information, reviews and user experiences for the course “Formal Software Verification“. The provider of the course – “University System of Maryland,UMUC” – will be glad to answer any questions you may have about the class, click here to use the offical support channels. It would be great if you could share your experience of participating in the course – Your honest review will surely help others to choose the right class!
School: University System of Maryland,UMUC
Topic: Computer Science, Engineering