Web Development
Data Science
Python
SQL
JavaScript
Artificial Intelligence
IT & Software
IT Certifications
Hacking
AWS
Arduino
DevOps
3D Modeling
Graphic Design
Photoshop
Drawing
Digital Painting
UX Design
Business
Data Analysis
Communication Skills
Project Management
Leadership & Management
Human Resources
Digital Marketing
Social Media Marketing
Marketing
SEO
Google Analytics
Branding
Excel
Office Productivity
SAP
PowerPoint
Microsoft Access
SharePoint
Finance & Accounting
Trading & Investing
Accounting
Bitcoin
Personal Finance
Video Editing & Animation
Photography
Adobe Premier Pro
Adobe Lightroom
Personal Development
Productivity
Career Development
Life Coaching
Health & Fitness
Meditation & Mindfulness
Yoga
Music
Music Production
Guitar
Piano
Singing
Language Learning
Teaching & Academics
Engineering
Math
LifestyleFormal Software Verification
Learn software quality techniques beyond just running test cases.
Created by: Michael Scott Brown
Quality Score
Overall Score : 0 / 100
Course Description
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.
Instructor Details
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.
More courses by Michael Scott Brown
More Software Testing courses
ZeroToHero TestNG Framework - From Basics to Advanced (2026)
4.9 (828 Reviews)
Provider: Udemy
Time: 6.2h
$59.99
Selenium WebDriver with Java- Basics to Advanced + Framework (2026)
4.9 (620 Reviews)
- Provider: Udemy
- Time: 35.5h
$84.99
Karate DSL: API Automation and Performance from Zero to Hero (2026)
4.8 (4,652 Reviews)
- Provider: Udemy
- Time: 7.2h
$10.99
API Testing in detail using Postman - Test Automation (2026)
4.8 (423 Reviews)
- Provider: Udemy
- Time: 7.8h
$10.99
Quick Introduction to Postman and API Testing for Beginners (2025)
4.7 (23,113 Reviews)
- Provider: Udemy
- Time: 3.2h
$13.99
Software Testing Masterclass (2026) - From Novice to Expert
4.7 (12,622 Reviews)
- Provider: Udemy
- Time: 9.9h
$149.99
Reviews
No reviews yet. Be the first to review this course!
Showing all 0 reviews
Could not load more reviews.
This course is no longer listed on edX. The courses below cover the same ground.
Browse Software Testing coursesStill open: top Software Testing courses
- Video Duration:
8 Weeks - 1-2 hours per week - Provider: edX
- University:
Institutions
UMGC
USMx - Level:
Beginner - Language:
English - Certificate:
Yes
edX Coupon Price Tracker
