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

Dates:
  • 6 May 2020
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':
Mooc%20icon Investigative Journalism for the Digital Age
Learn from some of the best investigative journalism instructors in the United...
A7f1e3cc-898d-4ee0-90d2-2f0b489e2346-9ce0c8c2541f.small Health Informatics for better and safer healthcare
Learn when and how Informatics is used in different fields of healthcare, what...
B078396d-4d89-45e0-9e03-13b308538f63-f068c8842ab9.small Achieving Product-Market Fit
Learn how to truly know your target customer, your customer’s underserved needs...
84acacf0-92ef-4be7-8044-a60df14282e4-8541828c8675.small Migrating to the AWS Cloud
Learn how to migrate your on-premises applications and workloads to the AWS...
956319ec-8665-4039-8bc6-32c9a9aea5e9-885268c71902.small Introduction to Computer Science and Programming Using Python
An introduction to computer science as a tool to solve real-world analytical...
More from 'edX':
De2fa4fb-2a12-4824-9184-3e5e04fa0e7a-29cb3a414e0c.small Anatomy: Musculoskeletal and Integumentary Systems
Learn about the integumentary system (skin, hair, nails, and glands), and how...
37681467-8cc2-49ee-9656-cb6943fe3859-dd5a78dd281c.small Effective Communication for Program and Project Stakeholders and Teams
Go beyond the communication methods you learned in the project management training...
5d81639b-9ad6-4288-90de-8f733e1845d6-e5b59895de62.small Introduction to Aerospace Engineering: Astronautics and Human Spaceflight
Spaceflight is exciting, and you don’t have to be a “Rocket Scientist” to share...
B91a36c0-1e7a-4b64-908a-3886d0b13cb7-0de993faa62f.small Greatest Unsolved Mysteries of the Universe
Exploring the biggest mysteries of modern astrophysics. Despite spectacular...
F3ec0b52-25b8-4f44-a960-e553167fd200-e4782c1966e0.small Fundamentals of Neuroscience, Part 2: Neurons and Networks
Discover how neurons work together to create complex networks inside the brain...

© 2013-2019