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

Dates:
  • 9 October 2019
Course properties:
  • Free:
  • Paid:
  • Certificate:
  • MOOC:
  • Video:
  • Audio:
  • Email-course:
  • Language: English Gb

Reviews

No reviews yet. Want to be the first?

Register to leave a review

Show?id=n3eliycplgk&bids=695438
NVIDIA
More on this topic:
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...
More from 'Computer Science':
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...
More from 'edX':
5dedf011-dfb5-4ea4-8714-30196590eb52-d940b2594513.small Product Design: The Delft Design Approach
Learn to design meaningful products and services in this introductory design...
13adc099-5ad9-43f5-aa3f-b0b989ada21e-d7008b8bf1e5.small Crafting Realities: Work, Happiness and Meaning
Learn to create and experience your work as a joyful and meaningful activity...
840acc48-0d64-4a9d-a424-712406a034a6-2ba1eb03fbae.small Steps in Japanese for Beginners1 Part1
Learn basic Japanese expressions to survive in Japanese. Andy, an exchange student...
79f21ace-02c3-4d4b-9b02-8eb4ce735f7b-e1fbfdd8da2f.small Shakespeare's The Merchant of Venice: Shylock
An exploration of the magnetic and ambivalent character of Shylock in William...
26f7e9fe-9780-4433-ac49-4c67631d43d3-d54b0a83080d.small First Nights - Monteverdi’s L’Orfeo and the Birth of Opera
Learn about Claudio Monteverdi's L 'Orfeo , one of the first operas ever written...

© 2013-2019