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.

Course Reviews

N.A.

ratings
  • 5 stars0
  • 4 stars0
  • 3 stars0
  • 2 stars0
  • 1 stars0

No Reviews found for this course.

HACER ESTE CURSO IR AL CURSO

*Irás a la plataforma donde se impartirá el mooc y donde podrás registrarte

  • GRATIS
  • 3 mesesSTARTS IN
  • 13-03-2019FECHA INICIO
  • University System of Maryland University of Maryland University College
  • Dr. Michael Scott Brown and Dr. Renata Rand McFadden

Profesores

Imagen de perfil
Edx
1 ALUMNOS MATRICULADOS

Cursos Relacionados: