Erfahren Sie, wie aktuelle Algorithmen und Softwarewerkzeuge zur Modellierung von Echtzeitsystemen eingesetzt werden, anhand konkreter Beispiele aus der TACAS‑Konferenz 2014, die neue Ansätze in der formalen Analyse aufzeigen.