Formal Software Verification

Learn software quality techniques beyond just running test cases.

( 0 Reviews )

Created by: Michael Scott Brown

Quality Score

Content Quality

Video Quality

Qualified Instructor

Course Pace

Course Depth & Coverage

Overall Score : 0 / 100

Live Chat with CourseDuck's Co-Founder for Help

Need help deciding on a software testing course? Or looking for more detail on Michael Scott Brown's Formal Software Verification? Feel free to chat below.

Join CourseDuck's Online Learning Discord Community

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.
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.

Beginner Level

Time: 8 Weeks - 1-2 hours per week

Instructor Details

Michael Scott Brown

0.0 Rating
0 Reviews

Dr. Brown is the Program Chair of the Software Engineering Master's at University of Maryland Global Campus. He received his Bachelor's in Mathematics and Computer Science from Shippensburg University of Pennsylvania. He received a Master's in Computer Science also from Shippensburg University. He received his Ph.D. in Computer Science from Nova Southeastern University. Dr. Brown has worked for many Software Engineering organizations including the WVU/NASA Software Research Laboratory part of the NASA's Independent Verification and Validation center.