Formal Software Verification

Online Course

edX
Go to edX
Start Learning
Formal Software Verification
  1. What is the course about?
  2. Prerequisites & Facts
  3. Cost, Certificate & Degree
  4. Reviews & Experiences

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.

Start Learning

Prerequisites & Facts

Formal Software Verification

Course Topic

Personal Success, Teacher Training, Teaching & Academics

University, College, Institution

University System of Maryland,UMUC

Course Skill Level

Introductory
see course summary

Course Language

English

Place of class

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

Degree

Certificate

Start Learning

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
Start Learning

Reviews

[display-frm-data id=”8278″ filter=”1″]

Please select a valid form
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

More classes & courses

Start E-Learning
Popular courses with huge future potential
Schools & Universities
Learn with some of the best schools of the world
More online courses
Continue being curious & the world is yours
Contact us | Privacy Policy
© 2024 All Rights Reserved