Verified Certificate

Supported by the following organizations

This is to certify that Alejandro Díaz successfully completed and received a passing grade in STV1.3x: Formal Software Verification a course of study offered by USMx, an online learning initiative of University of Maryland.

Noted by

Dr. Michael Brown

Dr. Michael Brown

Program Chair of Software Engineering University of Maryland University College

Dr. Kathryn Klose

Dr. Kathryn Klose

Acting Dean and Vice Provost University of Maryland University College

About edX

edX offers interactive online classes and MOOCs from the world’s best universities, including MIT, Harvard, Berkeley, University of Texas, and many others. edX is a mission driven initiative created by founding partners Harvard and MIT.

About edX Verified Certificates

An edX Verified Certificate signifies that the learner has agreed to abide by the edX honor code and completed all of the required tasks of this course under its guidelines, as well as having their photo ID checked to verify their identity.