Model Checking Data Flows in Concurrent Network Updates.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog

Browse the full ATVA paper archive.