EXPLORE CATEGORIES
FREE
Formal Software Verification
Created by -
0.00
(0 ratings)
English
Wishlist
Overview
Learn software quality techniques beyond just running test cases.
Skillqore is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
free
Type: Online
This course includes
- 8 Weeks
- Instructor-led on a course schedule
- Add a Verified Certificate for $249
- 8–10 hours per week
Taken this course?
Share your experience with other students
Skillqore is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
free
Type: Online
This course includes
- 8 Weeks
- Instructor-led on a course schedule
- Add a Verified Certificate for $249
- 8–10 hours per week
Taken this course?
Share your experience with other students
Formal Software Verification
Created by -
0.00
(0 ratings)
Start Date: December 1st 2020
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.
Course Structure
Tags
Mark Complete
About the Instructor
Renata Rand McFadden,Michael Scott Brown,University System of Maryland
No Reviews at this moment.
