Model Checking Data Flows in Concurrent Network Updates.

Bernd Finkbeiner Manuel Gieseking Jesko Hecking-Harbusch Ernst-Rüdiger Olderog

Published in: ATVA (2019)

Keyphrases

model checking
network structure
temporal logic
formal verification
petri net
formal specification
temporal properties