Formal Software Verification

Provided by:
7/10 stars
based on  2 reviews
Provided by:
Cost FREE , Add a Verified Certificate for $249
Start Date Upcoming

Course Details

Cost

FREE,
Add a Verified Certificate for $249

Upcoming Schedule

  • Upcoming

Course Provider

edX online courses
Harvard University, the Massachusetts Institute of Technology, and the University of California, Berkeley, are just some of the schools that you have at your fingertips with edX. Through massive open online courses (MOOCs) from the world's best universities, you can develop your knowledge in literature, math, history, food and nutrition, and more. These online classes are taught by highly-regarded experts in the field. If you take a class on computer science through Harvard, you may be tau...
Harvard University, the Massachusetts Institute of Technology, and the University of California, Berkeley, are just some of the schools that you have at your fingertips with edX. Through massive open online courses (MOOCs) from the world's best universities, you can develop your knowledge in literature, math, history, food and nutrition, and more. These online classes are taught by highly-regarded experts in the field. If you take a class on computer science through Harvard, you may be taught by David J. Malan, a senior lecturer on computer science at Harvard University for the School of Engineering and Applied Sciences. But there's not just one professor - you have access to the entire teaching staff, allowing you to receive feedback on assignments straight from the experts. Pursue a Verified Certificate to document your achievements and use your coursework for job and school applications, promotions, and more. EdX also works with top universities to conduct research, allowing them to learn more about learning. Using their findings, edX is able to provide students with the best and most effective courses, constantly enhancing the student experience.

Provider Subject Specialization
Sciences & Technology
Business & Management
23866 reviews

Course Description

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 manually and by using automation tools.

No previous programming knowledge needed. The concepts from this course can be applied to any programming language and testing software. This course will use Java, Java Path Finder and Java Modeling Language, however, for examples and assignments.

Formal Software Verification course image
Reviews 7/10 stars
2 Reviews for Formal Software Verification

Ratings details

  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars

Rankings are based on a provider's overall CourseTalk score, which takes into account both average rating and number of ratings. Stars round to the nearest half.

Sort By
R Anger profile image
R Anger profile image

R Anger

2/10 starsCompleted
2 years, 2 months ago
Beware of this course...look at the material first before paying for a certificate as I found it had nothing to do with actual Software Verification. I was really disappointed, and in the future will not pay for a course until I have completed a few modules first. Bad lesson to learn.
Was this review helpful? Yes0
 Flag
Nompumelelo Nonginzi profile image
Nompumelelo Nonginzi profile image

Nompumelelo Nonginzi

10/10 starsTaking Now
2 years, 10 months ago
I think the instructors are doing the excellent job and also the Providers , the content is also great.
Was this review helpful? Yes0
 Flag

Rating Details


  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars

Rankings are based on a provider's overall CourseTalk score, which takes into account both average rating and number of ratings. Stars round to the nearest half.