See all results for
    1. In India, MOOCs Are Now Part of the Education System
    2. Coursera’s Monetization Journey: From 0 to $100+ Million in Revenue
    3. Udacity Doubles Prices, Relaunches 1-on-1 Mentorships & Career Coaching
    See more
    1. Sign in
    2. Register

    Get started with custom lists to organize and share courses.

    Sign up

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

    Formal Software Verification

    University System of Maryland and University of Maryland University College via edX

    1 Review 34 students interested
    Found in Computer Science
    Go to class
    • Provider edX
    • Cost Free Online Course (Audit)
    • Session Upcoming
    • Language English
    • Certificate $249 Certificate Available
    • Effort 8-10 hours a week
    • Start Date
    • Duration 8 weeks long
    • Learn more about MOOCs

    Taken this course? Share your experience with other students. Write review

    Overview

    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.

    Taught by

    Dr. Michael Scott Brown and Dr. Renata Rand McFadden

    Help Center

    Most commonly asked questions about EdX EdX

    Browse More EdX Articles

    Related Courses

    Browse More Computer Science courses

    Review for edX's Formal Software Verification
    2.0 Based on 1 reviews

    • 5 star 0%
    • 4 star 0%
    • 3 star 0%
    • 2 star 100%
    • 1 star 0%

    Did you take this course? Share your experience with other students.

    Write a review
    • 1
    HK
    Hitesh K
    2.0 a year ago
    Hitesh completed this course.
    The course material provided is quite dense. It presumes the learner has quite a bit of mathematical background especially in boolean algebra and logic for computers. I don't CS background and therefore going through the material was a bit challenging. I had to look up lots of additional sources for understanding the material presented in the course. So, anyone planning to take this course needs to brush up on logic, proofs (mathematical), boolean algebra etc and you will end up spending lot more time to get the jist of what you need to learn. This course is more of a foundational course that is basically meant to appraise you of the abstract high level mathematical concepts. I am giving the course 2 stars because of the material provided and lack of help from the instructor. You take this course, you are pretty much on your own to master the material.
    Was this review helpful to you? Yes
    • 1

    Class Central

    Get personalized course recommendations, track subjects and courses with reminders, and more.

    Sign up for free

    Never stop learning Never Stop Learning!

    Get personalized course recommendations, track subjects and courses with reminders, and more.

    Sign up for free