Formal Software Verification (edX)

Formal Software Verification (edX)

Añade tu reseña
Añadir a Mis FavoritosAñadido a tus favoritosEliminado de tus favoritos 0
Añadir para comparar

Descripción de “Formal Software Verification (edX)”

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.

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.

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

Especificaciones: Formal Software Verification (edX)

Curso ofrecido por
Disponibilidad

✔ Disponible

Plataforma

Universidad

Impartido por

Michael Scott Brown Renata Rand McFadden

País

USA

Nivel, duración y fechas
Nivel

Principiante

Fecha

06/05/2020

Duración

8 semanas

Tiempo necesario

8-10 horas/semana

Idioma del curso
Idioma vehicular

Inglés

Subtítulos

Inglés

Exámenes y Certificados
Certificados

Certificado de Pago

Exámenes/Proyectos

Con Examen/Proyecto Final

User Reviews

0.0 fuera de 5
0
0
0
0
0
Write a review

Aún no hay reseñas.

Se el primero en opinar sobre “Formal Software Verification (edX)”

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Antes de enviar tu opinión, has de aceptar nuestra política de cookies y privacidad

Formal Software Verification (edX)
Formal Software Verification (edX)

Este sitio web utiliza cookies para un correcto funcionamiento. Si continúas navegando estás dando tu consentimiento para estas cookies y aceptas nuestra política de cookies, clic para más información.

ACEPTAR
Aviso de cookies
Comparar artículos
  • Total (0)
Comparar
0