Nate Foster: Verifying Programmable Network Data Planes

Das ist das Originaltranskript des Videos, unverändert und unbearbeitet. Der überarbeitete Volltext, die Zusammenfassung und die Übersetzungen stehen auf der Artikelseite.