Formal Software Verification

Payment
Обучение бесплатное
Certificate
Сертификация платная
Duration
1 месяц
О курсе

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.

Программа
Formal Software Verification
Learn software quality techniques beyond just running test cases.
Formal Software Verification
Learn software quality techniques beyond just running test cases.
Что Вы изучите?
  • 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
Лекторы
Windell Goff
Windell Goff
Instructor University of Maryland Global Campus

Dr. Goff received his Bachelor’s degree in Secondary Mathematics Education from West Liberty University. He received his Master’s in Computer Science from West Virginia University. He received his Doctorate in Information Systems from California Intercontinental University. Dr. Goff has taught at several major universities. He has also worked for over 20 years in the Healthcare IT field.

Платформа
EdX
Эта платформа предоставляет все курсы бесплатно. Авторами выступают топовые университеты и корпорации, которые стараются удерживать стандарты качества. За несоблюдение дедлайнов, невыполнение домашнего задания студенты теряют баллы. Как и в других платформах, лекционные видео чередуются с практическими заданиями. Обучение проводится на английском, китайском, испанском, французском и хинди.
Formal Software Verification