Formal Software Verification
Heads up! This course may be archived and/or unavailable.
Software Testing and Verification,
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.
What you'll learn
- Use Model Checking to evaluate software quality through model generation
- Use Symbolic Execution to evaluate software for defects
- Use Formal Methods to create proofs of software implementations
Get a Reminder
| Rating | 2.0★ based on 1 ratings |
|---|---|
| Length | 8 weeks |
| Effort | 8 - 10 hours per week |
| Starts | On Demand (Start anytime) |
| Cost | $249 |
| From | University System of Maryland, USMx, UMUC, UMGC via edX |
| Instructors | Dr. Michael Scott Brown, Dr. Renata Rand McFadden, Renata Rand McFadden, Michael Scott Brown, Windell Goff |
| Download Videos | On all desktop and mobile devices |
| Language | English |
| Subjects | Programming |
| Tags | Computer Science Engineering USMx |
Get a Reminder
Similar Courses
What people are saying
additional sources for understanding
I had to look up lots of additional sources for understanding the material presented in the course.
spending lot more time
So, anyone planning to take this course needs to brush up on logic, proofs (mathematical), boolean algebra etc and you will end up spending lot more time to get the jist of what you need to learn.
abstract high level mathematical
This course is more of a foundational course that is basically meant to appraise you of the abstract high level mathematical concepts.
therefore going through
I don't CS background and therefore going through the material was a bit challenging.
learner has quite
It presumes the learner has quite a bit of mathematical background especially in boolean algebra and logic for computers.
end up spending
it presumes
anyone planning
basically meant
help from
I am giving the course 2 stars because of the material provided and lack of help from the instructor.
pretty much
You take this course, you are pretty much on your own to master the material.
stars because
Careers
An overview of related careers and their average salaries in the US. Bars indicate income percentile.
Quality Software Analyst $76k
Software Quality Agent $80k
Software Quality Analyst 3 $92k
Software Quality Coordinator $105k
Software Quality Management $108k
Software Quality Lead $111k
Software Quality Manager $119k
Staff Software Quality $124k
Software Engineer, Quality $137k
Software Engineer in Quality $139k
Software Quality Engineer 5 $154k
Software Quality Architect $162k
Write a review
Your opinion matters. Tell us what you think.
Please login to leave a review
| Rating | 2.0★ based on 1 ratings |
|---|---|
| Length | 8 weeks |
| Effort | 8 - 10 hours per week |
| Starts | On Demand (Start anytime) |
| Cost | $249 |
| From | University System of Maryland, USMx, UMUC, UMGC via edX |
| Instructors | Dr. Michael Scott Brown, Dr. Renata Rand McFadden, Renata Rand McFadden, Michael Scott Brown, Windell Goff |
| Download Videos | On all desktop and mobile devices |
| Language | English |
| Subjects | Programming |
| Tags | Computer Science Engineering USMx |
Similar Courses
Sorted by relevance
Like this course?
Here's what to do next:
- Save this course for later
- Get more details from the course provider
- Enroll in this course
