Formal Software Verification (edX)

Formal Software Verification (edX)
Course Auditing
Categories
Effort
Certification
Languages
Basic programming skills.
Misc

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Formal Software Verification (edX)
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.

Class Deals by MOOC List - Click here and see edX's Active Discounts, Deals, and Promo Codes.

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

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.


What you'll 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



0
No votes yet

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Course Auditing
227.00 EUR
Basic programming skills.

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.