Formal Software Verification

Windell Goff, USMx

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

What will you 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

Сессии:
  • 6 мая 2020
Характеристики онлайн курса:
  • Бесплатный:
  • Платный:
  • Сертификат:
  • MOOC:
  • Видеолекции:
  • Аудиолекции:
  • Email-курс:
  • Язык: Английский Gb

Отзывы

Пока никто не написал отзыв по этому курсу. Хотите быть первым?

Зарегистрируйтесь, чтобы оставить отзыв

Show?id=n3eliycplgk&bids=695438
NVIDIA
Ещё курсы на эту тему:
Cs101-iit-verified262x136_0 CS101.1x: Introduction to Computer Programming, Part 1
This 6-week course provides students with a foundation in computer programming...
262x136 EECS149.1x: Cyber-Physical Systems
EECS149.1x introduces students to the design and analysis of computational systems...
Artmagicscience_final_edx-2x2-136 CAMSx: Computing: Art, Magic, Science
Learn the principles and techniques behind modern Information Technology. About...
Il.2003.44.4.517 Photography: A Victorian Sensation
Explore the Victorian craze for photography, examine its history, from the earliest...
Example Quantitative Model Checking
The integration of ICT (information and communications technology) in different...
Ещё из рубрики «Компьютерные науки»:
Mooc%20icon Investigative Journalism for the Digital Age
Learn from some of the best investigative journalism instructors in the United...
073d6494-9e83-4ffd-8f36-6e1d95ac4366-374f4f2f4a7c.small Statistical Thinking for Data Science and Analytics
Learn how statistics plays a central role in the data science approach. This...
B93c9fea-3df3-4180-984c-55310821cbb5-f8050e6a1cca.small Machine Learning for Data Science and Analytics
Learn the principles of machine learning and the importance of algorithms. Machine...
A58d02d2-ee6b-4903-8075-15d516b28254-a14c08150405.small Enabling Technologies for Data Science and Analytics: The Internet of Things
Discover the relationship between Big Data and the Internet of Things (IoT)...
Ef4d812a-d160-4f21-bf8d-48bbb8deadfa-d369cbea0566.small Introduction to Java Programming – Part 1
Learn the fundamental elements of Java programming and data abstraction. Do...
Ещё от edX:
20574fb6-99b9-44cf-afa5-473d8337c7a8-c1588ba86fbd.small AnatomyX: Musculoskeletal Cases
Learn the anatomy basic to understanding five musculoskeletal injuries commonly...
Ed8158ec-92c6-4483-8618-68e1518cf413-036c24d90c72.small Marketing Innovative Products and Services
Learn essential marketing concepts and practical commercialization strategies...
1f714d8d-83f0-47ef-841c-168e95f2c81a-9392c93e5e09.small Finance for Everyone: Smart Tools for Decision-Making
In this introduction to finance course from Michigan learn to apply frameworks...
073d6494-9e83-4ffd-8f36-6e1d95ac4366-374f4f2f4a7c.small Statistical Thinking for Data Science and Analytics
Learn how statistics plays a central role in the data science approach. This...
B93c9fea-3df3-4180-984c-55310821cbb5-f8050e6a1cca.small Machine Learning for Data Science and Analytics
Learn the principles of machine learning and the importance of algorithms. Machine...

© 2013-2019