Formal Software Verification

edX Formal Software Verification

Platform
edX
Provider
University System of Maryland
Effort
8 to 10 hours per week
Length
8 weeks
Language
English
Credentials
Paid Certificate Available
Part of
Course Link
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 UMUC. Upon completion of the program and receipt of the verified MicroMaster’s certificate, learners may then transition into the full UMUC 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

Taught by
Dr. Michael Scott Brown and Dr. Renata Rand McFadden
Author
edX
Views
717
First release
Last update
Rating
0.00 star(s) 0 ratings
Top