Formal Verification of Arbitrary Network Topologies.

S. J. Creese A. W. Roscoe

Published in: PDPTA (1999)

Keyphrases

formal verification
network topologies
model checking
network topology
model checker
interacting agents
automated verification
symbolic model checking
bounded model checking
program slicing
network reliability
real time
software engineering
random graphs