Formal Software Verification

Closed

Cours

Anglais

64 h

Source

Sur www.edx.org

Plus d'informations

8 séquences
Niveau Introductif
Débute le 30 novembre 2020
Clôture le 26 janvier 2021

Their employees are learning daily with

Découvrir Edflex

Détails du cours

Déroulé

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

Prérequis

Basic programming skills.

Intervenants

Renata Rand McFadden
Adjunct Professor
University of Maryland Global Campus

Michael Scott Brown
Program Chair of the Software Engineering Master’s
University of Maryland Global Campus

Plateforme

EdX est une plateforme d'apprentissage en ligne (dite FLOT ou MOOC). Elle héberge et met gratuitement à disposition des cours en ligne de niveau universitaire à travers le monde entier. Elle mène également des recherches sur l'apprentissage en ligne et la façon dont les utilisateurs utilisent celle-ci. Elle est à but non lucratif et la plateforme utilise un logiciel open source.

EdX a été fondée par le Massachusetts Institute of Technology et par l'université Harvard en mai 2012. En 2014, environ 50 écoles, associations et organisations internationales offrent ou projettent d'offrir des cours sur EdX. En juillet 2014, elle avait plus de 2,5 millions d'utilisateurs suivant plus de 200 cours en ligne.

Les deux universités américaines qui financent la plateforme ont investi 60 millions USD dans son développement. La plateforme France Université Numérique utilise la technologie openedX, supportée par Google.

(aucun avis)

Complétez cette ressource pour donner votre avis