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

University System of Maryland

Formal Software Verification

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

This course may be unavailable.


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


2.0 rating, based on 1 Class Central review

Start your review of Formal Software Verification

  • Profile image for Hitesh Kapur
    Hitesh Kapur
    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 challengi…

Never Stop Learning.

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