YoVDO

Formal Software Verification

Offered By: University System of Maryland via edX

Tags

Computer Science Courses Programming Courses Software Testing Courses Formal Methods Courses Symbolic Execution Courses

Course Description

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

Tags

Related Courses

A Practical Introduction to Test-Driven Development
LearnQuest via Coursera
Jenkins Quick Start
A Cloud Guru
Preparing for the AZ-400 Azure DevOps Exam
A Cloud Guru
Advanced TestNG Framework and Integration with Selenium
Coursera Project Network via Coursera
اختبار الوحدة: ابني اختبارات الوحدة في React.js
Coursera Project Network via Coursera