Formale Methoden und ihre Anwendungen
Wie sehen erfolgreiche Anwendungen von formalen Methoden aus? Und welche Rolle spielen Motivation, Modelle, Korrektheitsziele und logisches Denken? Dr. Matt Wilding diskutiert diese Frage anhand von vier Beispielen: Funktionale Äquivalenz, Mixed Reality, Netzwerkkonfiguration und Systemtechnik.
Die vollständige Aufzeichnung finden Sie hier:
Unser Redner
Dr. Matt Wilding ist Programmleiter der US-amerikanischen Defense Advanced Research Projects Agency (DARPA).