Error occured ! We are notified and will try and resolve this as soon as possible.
WARNING! [2] file_put_contents(/home/gelembjuk/domains/myeducationpath.com/app/../html/cache/memory/course_23982_0_e086762d743c0218beb85ea6e1b456cae.txt): Failed to open stream: No such file or directory . Line 75 in file /home/gelembjuk/domains/myeducationpath.com/html/include/class.cache.php. Continue execution. 2072148; index.php; 3.14.134.31; GET; url=courses/23982/formal-software-verification.htm&; ; Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com); ; Executon time: 0 MyEducationPath.com :: edX : Formal Software Verification

Formal Software Verification

0 votes
Free Closed [?]
Formal Software Verification

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.


Tags: BusinessEvaluationHow to SucceedNutrition
Details: https://www.edx.org/course/f...fication-usmx-umuc-stv1-3x-0
Language: English
Categories:
Starts : 2018-03-26

Comments

Reviews



-- no reviews yet -- make the first review
Add review [?] Discuss on the Forum

Alternatives
All alternatives to all edX courses

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Add alternative course [?]

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Add prerequisite [?]

Paths

No Paths inclusing the course. You can build and share a path with this course included.

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Add My Exams

Similar courses

Courses related to the course subject

Java程序设计
1 0

…
Details:https://www.coursera.org/course/pkujava

4G Network Essentials

0 0

…
Details:https://www.edx.or...ntials-imtx-net02x

A Beginners Guide To SQL. Master SQL Quickly
0 0

…
Details:https://www.udemy....aster-sql-quickly/

A System View of Communications: From Signals to Packets (Part 1)
0 0

…
Details:https://www.edx.or...ustx-elec1200-1x-2

A System View of Communications: From Signals to Packets (Part 2)
0 0

…
Details:https://www.edx.or...ustx-elec1200-2x-1

A System View of Communications: From Signals to Packets (Part 3)
0 0

…
Details:https://www.edx.or...ustx-elec1200-3x-1

Accelerate Software Delivery Using DevOps
0 0

…
Details:https://www.edx.or...-microsoft-dev217x

Administración de proyectos de Tecnologías de la Información
0 0

…
Details:https://www.edx.or...mexicox-upevipn03x

Advanced Algorithms (Fall 2008)
0 0

…
Details:http://ocw.mit.edu...gorithms-fall-2008

Advanced Apache Spark for Data Science and Data Engineering
0 0

…
Details:https://www.edx.or...c-berkeleyx-cs115x

Let us know when you did the course Formal Software Verification.

Started on: Completed on:
Your grade (if any):
Comments:

Add the course Formal Software Verification to My Personal Education Path.

Start the course on:
Duration of study:
Notes:

Successfully added to your path.

View your path

Select what exam to connect to the course. The course will be displayed on the exam page in the list of courses supported for certification with the exam.


Notes about how the exam certifies students of the course (optional):