Formal Software Verification

Academy
edX
Kurzbeschreibung
Learn software quality techniques beyond just running test cases.
Kursarten
E-Learning
Fachbereiche

Informatik, Technik

Dieser Kurs ist neu hier. 0 User folgen diesem Kurs und erhalten Bescheid, wenn es Neues gibt - Kurs jetzt folgen.

Du hast den Kurs besucht? Kurs jetzt bewerten.

Hier kannst du der Eggheads Community deine Fragen zu diesem Kurs stellen. Auch Kursleiter können mitdiskutieren.


Frage stellen

Du must angemeldet sein um zu antworten

Kursinhalt
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.
Kurssprache
Englisch
Kursgebühr
USD 249