Formal Software Verification
date_range Starts on December 1, 2020
event_note End date January 27, 2021
list 8 sequences
assignment Level : Introductive
chat_bubble_outline Language : English
card_giftcard 512 point
Logo My Mooc Business

Top companies choose Edflex to build in-demand career skills.

Get started
Users' reviews
-
starstarstarstarstar
0 reviews

Key Information

credit_card Free access
verified_user Fee-based Certificate
timer 64 hours in total

About the content

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. See the MicroMasters program page for more.

more_horiz Read more
more_horiz Read less
report_problem

Prerequisite

Basic programming skills.

dns

Syllabus

  • 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
record_voice_over

Instructors

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

assistant

Platform

Edx

Harvard University, the Massachusetts Institute of Technology, and the University of California, Berkeley, are just some of the schools that you have at your fingertips with EdX. Through massive open online courses (MOOCs) from the world's best universities, you can develop your knowledge in literature, math, history, food and nutrition, and more. These online classes are taught by highly-regarded experts in the field. If you take a class on computer science through Harvard, you may be taught by David J. Malan, a senior lecturer on computer science at Harvard University for the School of Engineering and Applied Sciences. But there's not just one professor - you have access to the entire teaching staff, allowing you to receive feedback on assignments straight from the experts. Pursue a Verified Certificate to document your achievements and use your coursework for job and school applications, promotions, and more. EdX also works with top universities to conduct research, allowing them to learn more about learning. Using their findings, edX is able to provide students with the best and most effective courses, constantly enhancing the student experience.

You are the designer of this MOOC?
What is your opinion on this resource ?
Content
5/5
Platform
5/5
Animation
5/5