Formal Software Verification

Renata Rand McFadden, Michael Scott Brown, 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

Сессии:
  • 9 октября 2019
Характеристики онлайн курса:
  • Бесплатный:
  • Платный:
  • Сертификат:
  • 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...
Ещё из рубрики «Компьютерные науки»:
695ff980-b45a-425f-bee6-51bf6e962d90-de2d1a1c22e0.small Video Game Design History
Learn about the evolution of video games from experts at The Strong National...
595aa0b6-077d-439b-a651-95a9ee65c51a-fc966dc2648f.small Video Game Design and Balance
Learn about the video game design process and experiment with effective methods...
Fcd236ea-68ae-46f7-b991-849a41cebc64-0ea84acf6bad.small Video Game Asset Creation and Process
Learn about the tools, processes and platforms that allow video game assets...
Regular_7e290d30-8e84-46b2-bf50-801246fb157c Advanced Data Mining with Weka
Learn how to use popular packages that extend Weka's functionality and areas...
Regular_0b883f52-bc27-40f6-b633-d5fa9dd1101a Prepare to Run a Code Club
Build your confidence and get practical advice on launching and running a Code...
Ещё от edX:
Aac3b9a3-15fc-42e8-b2a9-4d9e8b58f2d9-9b7851ffec5a.small Introduction to Running Pipe in Oil and Gas Wells
Learn about the importance of proper preparation and handling of casing and...
3887d951-8ecb-419a-b04a-ccf2a423b812-84789e1d3b2c.small Writing for Social Media
This course provides a framework for writing for social media by focusing on...
33b60d53-f5ac-4f44-8e87-c277289fb576-78ced015ceba.small Financial Reporting I
Earn a strong foundation in financial reporting concepts and methods, and use...
665259b8-fac2-4cf3-9a67-56aae4375eb2-e6941622d45a.small Managerial Accounting and Corporate Control
How do managers use internal accounting data to make decisions? In this course...
5c7385bf-01ae-4f77-a628-1586471a91ac-3fc9f3407eac.small Evaluation of Predictive Modelling
Gain an in-depth understanding of evaluation and sampling approaches for...

© 2013-2019