Formal Software Verification

Learn software quality techniques beyond just running test cases.

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.

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
Start Date:

End Date:

Application Deadline:

Expired help

Type

Online courses

Certifications & Titles

Certificate in Formal Software Verification

Study Options

Distance Learning

141 Portland St., 9th Floor, Cambridge, MA 02139

Cambridge , United States

Start Date:

End Date:

Location

United States

Cambridge

Type

Online courses

Application Deadline:

Expired help