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

会期:
  • 2019年10月09日
介绍:
  • 免费:
  • 收费:
  • 证书:
  • 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...
还有标题«计算机科学»:
Regular_7d911eb6-1549-4551-aef8-7a752052d4fb Social Media Analytics: Using Data to Understand Public Conversations
How can you discover what’s being said about the things that matter to you on...
Regular_1361bcd9-a334-41ef-9b5b-ce2f3b8355ef Internet of Things for Active Aging
Learn about how the Internet of Things can help people aging well with this...
Regular_6c70469a-6f1d-4ff7-bcd0-b5780b6d9fd0 Cyber Security for Small and Medium Enterprises: Identifying Threats and Preventing Attacks
Discover what common cyber threats and attacks face small and medium enterprises...
Regular_12b2b05f-d1a4-4512-a1fb-2c56cafa6174 Competitive Advantage: Using Information to Build Business Success
Learn the value of information to businesses and how it can give the business...
Regular_1926570c-cfb2-452b-8a0f-b75e61ab4458 Understanding Data in the Tourism Industry
How can you benefit from using data in your tourism business? Learn the opportunities...
还有edX:
154ba19f-4602-4790-9131-b05c81962f89-7552ade5dc23.small Introduction to Sociology
From feminism to Marxism and functionalism, this course offers a fresh perspective...
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...
199657a8-a0c0-4335-bc6c-1725077feb2c-85d56f5fea16.small Designing and Creating Trousers
Learn the construction and style adaptations of trousers for men and women,...
389d5e5e-7679-467e-b5bb-b21c9c86ca1f-31a7731a68f2.small Introduction to Biology - The Secret of Life
Explore the secret of life through the basics of biochemistry, genetics, molecular...
C9c58e99-326c-46ad-aa60-216c5db5bb8e-27e0ea893a6a.small Supply Chain Management: A Decision-Making Framework
Learn how to make rational and confident supply chain decisions, by understanding...

© 2013-2019