Login / Signup
Model Checking Data Flows in Concurrent Network Updates (Full Version).
Bernd Finkbeiner
Manuel Gieseking
Jesko Hecking-Harbusch
Ernst-Rüdiger Olderog
Published in:
CoRR (2019)
Keyphrases
</>
model checking
network structure
temporal logic
update operations
temporal properties
verification method
software engineering
finite state
symbolic model checking
reachability analysis