Der Vortrag gibt eine kurze Einführung in Softwareverifikation und beschreibt dann einen Ansatz zur Verifikation von C++ Programmen, der derzeit an der TU-Dresden zur Verifikation des Mikrokernbetriebssystems Fiasco entwickelt wird.
Der Vortrag gibt eine kurze Einführung in Softwareverifikation und beschreibt dann einen Ansatz zur Verifikation von C++ Programmen, der derzeit an der TU-Dresden zur Verifikation des Mikrokernbetriebssystems Fiasco entwickelt wird.