The Latest The 100 Most Popular Courses During the Pandemic

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Online Course

Formal Software Verification

University System of Maryland and University of Maryland University College via edX

(1)
Found in Computer Science Courses
Go to class
  • Provider edX
  • Cost Free Online Course (Audit)
  • Session Upcoming
  • Language English
  • Certificate $249 Certificate Available
  • Effort 8-10 hours a week
  • Duration 8 weeks long
  • Learn more about MOOCs

Taken this course? Share your experience with other students. Write review

This course is part of:

Overview

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.

This course is part of the Software Testing and Verification MicroMaster’s program from UMGC. Upon completion of the program and receipt of the verified MicroMaster’s certificate, learners may then transition into the full UMGC Master’s Program in Information Technology with a specialization in Software Engineering without any application process or testing. See the MicroMasters program page for more.

Taught by

Dr. Michael Scott Brown and Dr. Renata Rand McFadden

Help Center

Most commonly asked questions about EdX

Browse More EdX Articles

Review for edX's Formal Software Verification Based on 1 reviews

  • 5 star 0%
  • 4 star 0%
  • 3 star 0%
  • 2 star 100%
  • 1 star 0%

Did you take this course? Share your experience with other students.

Write a review
  • 1
Hitesh K
Hitesh completed this course.
The course material provided is quite dense. It presumes the learner has quite a bit of mathematical background especially in boolean algebra and logic for computers. I don't CS background and therefore going through the material was a bit challenging. I had to look up lots of additional sources for understanding the material presented in the course. So, anyone planning to take this course needs to brush up on logic, proofs (mathematical), boolean algebra etc and you will end up spending lot more time to get the jist of what you need to learn. This course is more of a foundational course that is basically meant to appraise you of the abstract high level mathematical concepts. I am giving the course 2 stars because of the material provided and lack of help from the instructor. You take this course, you are pretty much on your own to master the material.
Was this review helpful to you? Yes
  • 1

Class Central

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free

Never stop learning Never Stop Learning!

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free